cprover
bv_pointerst::postponedt Struct Reference

#include <bv_pointers.h>

Collaboration diagram for bv_pointerst::postponedt:
[legend]

Public Attributes

bvt bv
 
bvt op
 
exprt expr
 

Detailed Description

Definition at line 57 of file bv_pointers.h.

Member Data Documentation

◆ bv

bvt bv_pointerst::postponedt::bv

Definition at line 59 of file bv_pointers.h.

Referenced by bv_pointerst::do_postponed().

◆ expr

exprt bv_pointerst::postponedt::expr

Definition at line 60 of file bv_pointers.h.

Referenced by bv_pointerst::do_postponed().

◆ op

bvt bv_pointerst::postponedt::op

Definition at line 59 of file bv_pointers.h.

Referenced by bv_pointerst::do_postponed().


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