cprover
Loading...
Searching...
No Matches
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: