cprover
statement_list_types.cpp
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 #include "statement_list_types.h"
13 #include <util/ieee_float.h>
14 #include <util/std_types.h>
15 
17 {
19 }
21 {
23 }
25 {
27 }
29 {
30  return bool_typet{};
31 }
The Boolean type.
Definition: std_types.h:37
Fixed-width bit-vector with IEEE floating-point interpretation.
Definition: std_types.h:1386
static ieee_float_spect single_precision()
Definition: ieee_float.h:74
class floatbv_typet to_type() const
Definition: ieee_float.cpp:25
Fixed-width bit-vector with two's complement interpretation.
Definition: std_types.h:1272
signedbv_typet get_dint_type()
Creates a new type that resembles the 'DInt' type of the Siemens PLC languages.
floatbv_typet get_real_type()
Creates a new type that resembles the 'Real' type of the Siemens PLC languages.
bool_typet get_bool_type()
Creates a new type that resembles the 'Bool' type of the Siemens PLC languages.
signedbv_typet get_int_type()
Creates a new type that resembles the 'Int' type of the Siemens PLC languages.
Statement List Type Helper.
#define STL_INT_WIDTH
#define STL_DINT_WIDTH
Pre-defined types.