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 28 of file pointer_logic.h.
|
inline |
Definition at line 33 of file pointer_logic.h.
|
inline |
Definition at line 37 of file pointer_logic.h.
std::size_t pointer_logict::pointert::object |
Definition at line 30 of file pointer_logic.h.
mp_integer pointer_logict::pointert::offset |
Definition at line 31 of file pointer_logic.h.