bv_pointers_widet::postponedt Struct Reference

#include <bv_pointers_wide.h>

Collaboration diagram for bv_pointers_widet::postponedt:

Public Member Functions
	postponedt (bvt _bv, bvt _op, exprt _expr)

Public Attributes
bvt	bv
bvt	op
exprt	expr

Detailed Description

Definition at line 87 of file bv_pointers_wide.h.

Constructor & Destructor Documentation

postponedt()

bv_pointers_widet::postponedt::postponedt ( bvt _bv, bvt _op, exprt _expr )

inline

Definition at line 92 of file bv_pointers_wide.h.

Member Data Documentation

bv

bvt bv_pointers_widet::postponedt::bv

Definition at line 89 of file bv_pointers_wide.h.

expr

exprt bv_pointers_widet::postponedt::expr

Definition at line 90 of file bv_pointers_wide.h.

op

bvt bv_pointers_widet::postponedt::op

Definition at line 89 of file bv_pointers_wide.h.

---

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

• cprover/bv_pointers_wide.h