CBMC
statement_list_types.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Statement List Type Helper
4 
5 Author: Matthias Weiss, matthias.weiss@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_STATEMENT_LIST_CONVERTERS_STATEMENT_LIST_TYPES_H
13 #define CPROVER_STATEMENT_LIST_CONVERTERS_STATEMENT_LIST_TYPES_H
14 
15 #define STL_INT_WIDTH 16u
16 #define STL_DINT_WIDTH 32u
17 
21 class signedbv_typet get_int_type();
25 class signedbv_typet get_dint_type();
29 class floatbv_typet get_real_type();
33 class bool_typet get_bool_type();
34 
35 #endif // CPROVER_STATEMENT_LIST_CONVERTERS_STATEMENT_LIST_TYPES_H
bool_typet
The Boolean type.
Definition: std_types.h:36
floatbv_typet
Fixed-width bit-vector with IEEE floating-point interpretation.
Definition: bitvector_types.h:322
signedbv_typet
Fixed-width bit-vector with two's complement interpretation.
Definition: bitvector_types.h:208
get_int_type
class signedbv_typet get_int_type()
Creates a new type that resembles the 'Int' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:17
get_dint_type
class signedbv_typet get_dint_type()
Creates a new type that resembles the 'DInt' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:21
get_real_type
class floatbv_typet get_real_type()
Creates a new type that resembles the 'Real' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:25
get_bool_type
class bool_typet get_bool_type()
Creates a new type that resembles the 'Bool' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:29