cprover
|
#include <config.h>
Public Attributes | |
std::size_t | object_bits |
bool | is_object_bits_default |
Static Public Attributes | |
static const std::size_t | default_object_bits =8 |
|
static |
Definition at line 159 of file config.h.
Referenced by configt::set().
bool configt::bv_encodingt::is_object_bits_default |
Definition at line 157 of file config.h.
Referenced by configt::object_bits_info(), configt::set(), and configt::set_object_bits_from_symbol_table().
std::size_t configt::bv_encodingt::object_bits |
Definition at line 156 of file config.h.
Referenced by bv_pointerst::bv_pointerst(), smt2_convt::convert_address_of_rec(), smt2_convt::convert_expr(), smt2_convt::convert_is_dynamic_object(), smt2_convt::define_object_size(), configt::object_bits_info(), smt2_convt::parse_rec(), configt::set(), configt::set_object_bits_from_symbol_table(), and simplify_exprt::simplify_pointer_offset().