#include <pointer_logic.h>
Definition at line 22 of file pointer_logic.h.
◆ ~pointer_logict()
pointer_logict::~pointer_logict |
( |
| ) |
|
◆ pointer_logict()
pointer_logict::pointer_logict |
( |
const namespacet & |
_ns | ) |
|
|
explicit |
◆ add_object()
std::size_t pointer_logict::add_object |
( |
const exprt & |
expr | ) |
|
◆ get_dynamic_objects()
void pointer_logict::get_dynamic_objects |
( |
std::vector< std::size_t > & |
objects | ) |
const |
◆ get_invalid_object()
std::size_t pointer_logict::get_invalid_object |
( |
| ) |
const |
|
inline |
◆ get_null_object()
std::size_t pointer_logict::get_null_object |
( |
| ) |
const |
|
inline |
◆ is_dynamic_object()
bool pointer_logict::is_dynamic_object |
( |
const exprt & |
expr | ) |
const |
◆ pointer_expr() [1/2]
Convert an (object,offset) pair to an expression.
Definition at line 68 of file pointer_logic.cpp.
◆ pointer_expr() [2/2]
exprt pointer_logict::pointer_expr |
( |
std::size_t |
object, |
|
|
const pointer_typet & |
type |
|
) |
| const |
◆ invalid_object
std::size_t pointer_logict::invalid_object |
|
protected |
◆ ns
◆ null_object
std::size_t pointer_logict::null_object |
|
protected |
◆ objects
The documentation for this class was generated from the following files: