CBMC
Public Member Functions | Public Attributes | List of all members
bv_pointerst::postponedt Struct Reference

#include <bv_pointers.h>

+ Collaboration diagram for bv_pointerst::postponedt:

Public Member Functions

 postponedt (bvt _bv, bvt _op, exprt _expr)
 

Public Attributes

bvt bv
 
bvt op
 
exprt expr
 

Detailed Description

Definition at line 74 of file bv_pointers.h.

Constructor & Destructor Documentation

◆ postponedt()

bv_pointerst::postponedt::postponedt ( bvt  _bv,
bvt  _op,
exprt  _expr 
)
inline

Definition at line 79 of file bv_pointers.h.

Member Data Documentation

◆ bv

bvt bv_pointerst::postponedt::bv

Definition at line 76 of file bv_pointers.h.

◆ expr

exprt bv_pointerst::postponedt::expr

Definition at line 77 of file bv_pointers.h.

◆ op

bvt bv_pointerst::postponedt::op

Definition at line 76 of file bv_pointers.h.

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