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 82 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 87 of file bv_pointers_wide.h.

Member Data Documentation

bv

bvt bv_pointers_widet::postponedt::bv

Definition at line 84 of file bv_pointers_wide.h.

expr

exprt bv_pointers_widet::postponedt::expr

Definition at line 85 of file bv_pointers_wide.h.

op

bvt bv_pointers_widet::postponedt::op

Definition at line 84 of file bv_pointers_wide.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cprover/bv_pointers_wide.h