cprover
bv_pointerst::postponedt Struct Reference

#include <bv_pointers.h>

+ Collaboration diagram for bv_pointerst::postponedt:

Public Attributes

bvt bv
 
bvt op
 
exprt expr
 

Detailed Description

Definition at line 61 of file bv_pointers.h.

Member Data Documentation

◆ bv

bvt bv_pointerst::postponedt::bv

Definition at line 63 of file bv_pointers.h.

◆ expr

exprt bv_pointerst::postponedt::expr

Definition at line 64 of file bv_pointers.h.

◆ op

bvt bv_pointerst::postponedt::op

Definition at line 63 of file bv_pointers.h.


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