CBMC
Public Member Functions | Public Attributes | List of all members
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: