cprover
|
#include <pointer_logic.h>
Public Member Functions | |
pointert () | |
pointert (std::size_t _obj, mp_integer _off) | |
Public Attributes | |
std::size_t | object |
mp_integer | offset |
Definition at line 30 of file pointer_logic.h.
|
inline |
Definition at line 35 of file pointer_logic.h.
|
inline |
Definition at line 39 of file pointer_logic.h.
References pointer_logict::add_object(), pointer_logict::pointer_expr(), pointer_logict::pointer_logict(), and pointer_logict::~pointer_logict().
std::size_t pointer_logict::pointert::object |
Definition at line 32 of file pointer_logic.h.
Referenced by bv_pointerst::bv_get_rec(), smt1_convt::ce_value(), smt2_convt::parse_rec(), and pointer_logict::pointer_expr().
mp_integer pointer_logict::pointert::offset |
Definition at line 33 of file pointer_logic.h.
Referenced by bv_pointerst::bv_get_rec(), smt1_convt::ce_value(), smt2_convt::parse_rec(), and pointer_logict::pointer_expr().