10 #ifndef CPROVER_UTIL_CONFIG_H 11 #define CPROVER_UTIL_CONFIG_H 163 #endif // CPROVER_UTIL_CONFIG_H void set_arch_spec_arm(const irep_idt &subarch)
void set_LP32()
int=16, long=32, pointer=32
struct configt::ansi_ct ansi_c
void set_arch_spec_power(const irep_idt &subarch)
Globally accessible architectural configuration.
void set_classpath(const std::string &cp)
static std::string os_to_string(ost)
bool single_precision_constant
void set_arch_spec_v850()
Sets up the widths of variables for the Renesas V850.
std::list< std::string > defines
void set_LP64()
int=32, long=64, pointer=64
void set_arch_spec_ia64()
std::list< std::string > undefines
void set_arch_spec_mips(const irep_idt &subarch)
preprocessort preprocessor
std::list< std::string > include_files
void set_arch_spec_sparc(const irep_idt &subarch)
void set_arch_spec_x86_64()
unsigned long_long_int_width
void set_arch(const irep_idt &)
struct configt::verilogt verilog
void set_arch_spec_alpha()
enum configt::cppt::cpp_standardt cpp_standard
void set_ILP32()
int=32, long=32, pointer=32
unsigned memory_operand_size
struct configt::javat java
void set_arch_spec_s390()
void set_from_symbol_table(const symbol_tablet &)
enum configt::ansi_ct::c_standardt c_standard
static c_standardt default_c_standard()
static irep_idt this_operating_system()
std::list< std::string > include_paths
ieee_floatt::rounding_modet rounding_mode
std::list< std::string > classpatht
void set_arch_spec_hppa()
void set_arch_spec_i386()
unsigned long_double_width
void set_LLP64()
int=32, long=32, pointer=64
static ost string_to_os(const std::string &)
static cpp_standardt default_cpp_standard()
std::list< std::string > preprocessor_options
static irep_idt this_architecture()
void set_arch_spec_s390x()
void set_ILP64()
int=64, long=64, pointer=64
std::list< std::string > include_paths