bv_pointerst::postponedt Struct Reference

#include <bv_pointers.h>

Collaboration diagram for bv_pointerst::postponedt:

Public Attributes
bvt	bv
bvt	op
exprt	expr

Detailed Description

Definition at line 57 of file bv_pointers.h.

Member Data Documentation

bv

bvt bv_pointerst::postponedt::bv

Definition at line 59 of file bv_pointers.h.

expr

exprt bv_pointerst::postponedt::expr

Definition at line 60 of file bv_pointers.h.

op

bvt bv_pointerst::postponedt::op

Definition at line 59 of file bv_pointers.h.

---

The documentation for this struct was generated from the following file:

• solvers/flattening/bv_pointers.h