Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_CONFIG_H
11 #define CPROVER_UTIL_CONFIG_H
201 #endif // CPROVER_UTIL_CONFIG_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
bool ts_18661_3_Floatn_types
std::list< std::string > defines
struct configt::verilogt verilog
std::string object_bits_info()
static ost string_to_os(const std::string &)
struct configt::bv_encodingt bv_encoding
void set_arch_spec_s390x()
std::size_t wchar_t_width
std::list< std::string > include_paths
@ malloc_failure_mode_assert_then_assume
void set_arch_spec_mips(const irep_idt &subarch)
optionalt< std::string > main
void set_arch_spec_i386()
ieee_floatt::rounding_modet rounding_mode
void set_LP32()
int=16, long=32, pointer=32
void set_arch_spec_power(const irep_idt &subarch)
std::list< std::string > undefines
struct configt::ansi_ct ansi_c
void set_arch_spec_hppa()
Globally accessible architectural configuration.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void set_arch_spec_ia64()
void set_arch_spec_arm(const irep_idt &subarch)
void set_arch_spec_s390()
preprocessort preprocessor
@ malloc_failure_mode_return_null
void set_arch_spec_riscv64()
std::list< std::string > include_paths
static const std::size_t default_object_bits
static const std::size_t default_object_bits
void set_arch_spec_alpha()
bool is_object_bits_default
std::size_t memory_operand_size
void set_ILP64()
int=64, long=64, pointer=64
std::size_t long_long_int_width
static irep_idt this_operating_system()
@ malloc_failure_mode_none
std::list< std::string > classpatht
void set_LLP64()
int=32, long=32, pointer=64
void set_from_symbol_table(const symbol_tablet &)
static std::string os_to_string(ost)
static const std::size_t default_object_bits
std::list< std::string > preprocessor_options
nonstd::optional< T > optionalt
std::list< std::string > include_files
void set_ILP32()
int=32, long=32, pointer=32
static c_standardt default_c_standard()
static irep_idt this_architecture()
bool set(const cmdlinet &cmdline)
static cpp_standardt default_cpp_standard()
enum configt::ansi_ct::c_standardt c_standard
void set_arch_spec_sparc(const irep_idt &subarch)
void set_LP64()
int=32, long=64, pointer=64
std::size_t long_double_width
struct configt::javat java
void set_arch_spec_v850()
Sets up the widths of variables for the Renesas V850.
std::size_t short_int_width
void set_arch_spec_x86_64()
malloc_failure_modet malloc_failure_mode
std::size_t pointer_width
void set_classpath(const std::string &cp)
bool single_precision_constant
void set_object_bits_from_symbol_table(const symbol_tablet &)
Sets the number of bits used for object addresses.
void set_arch(const irep_idt &)
std::size_t long_int_width
enum configt::cppt::cpp_standardt cpp_standard