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 29 of file pointer_logic.h.
|
inline |
Definition at line 34 of file pointer_logic.h.
|
inline |
Definition at line 38 of file pointer_logic.h.
std::size_t pointer_logict::pointert::object |
Definition at line 31 of file pointer_logic.h.
Referenced by bv_pointerst::bv_get_rec(), smt2_convt::parse_rec(), and pointer_logict::pointer_expr().
mp_integer pointer_logict::pointert::offset |
Definition at line 32 of file pointer_logic.h.
Referenced by bv_pointerst::bv_get_rec(), smt2_convt::parse_rec(), and pointer_logict::pointer_expr().