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 }
STL_DINT_WIDTH
#define STL_DINT_WIDTH
Definition: statement_list_types.h:16
floatbv_typet
Fixed-width bit-vector with IEEE floating-point interpretation.
Definition: std_types.h:1379
bool_typet
The Boolean type.
Definition: std_types.h:37
ieee_float_spect::to_type
class floatbv_typet to_type() const
Definition: ieee_float.cpp:25
signedbv_typet
Fixed-width bit-vector with two's complement interpretation.
Definition: std_types.h:1265
std_types.h
Pre-defined types.
get_int_type
signedbv_typet get_int_type()
Creates a new type that resembles the 'Int' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:16
ieee_float.h
get_real_type
floatbv_typet get_real_type()
Creates a new type that resembles the 'Real' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:24
STL_INT_WIDTH
#define STL_INT_WIDTH
Definition: statement_list_types.h:15
get_bool_type
bool_typet get_bool_type()
Creates a new type that resembles the 'Bool' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:28
ieee_float_spect::single_precision
static ieee_float_spect single_precision()
Definition: ieee_float.h:74
get_dint_type
signedbv_typet get_dint_type()
Creates a new type that resembles the 'DInt' type of the Siemens PLC languages.
Definition: statement_list_types.cpp:20
statement_list_types.h
Statement List Type Helper.