cprover
|
Pointer Logic. More...
Go to the source code of this file.
Classes | |
class | pointer_logict |
struct | pointer_logict::pointert |
Macros | |
#define | BV_ADDR_BITS 8 |
Pointer Logic.
Definition in file pointer_logic.h.
#define BV_ADDR_BITS 8 |
Definition at line 19 of file pointer_logic.h.
Referenced by bv_pointerst::bv_pointerst(), smt1_convt::ce_value(), smt1_convt::convert_address_of_rec(), smt2_convt::convert_address_of_rec(), smt1_convt::convert_constant(), smt1_convt::convert_expr(), smt2_convt::convert_expr(), smt1_convt::convert_is_dynamic_object(), smt2_convt::convert_is_dynamic_object(), smt2_convt::define_object_size(), and smt2_convt::parse_rec().