cprover
boolbv_type.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_SOLVERS_FLATTENING_BOOLBV_TYPE_H
11 #define CPROVER_SOLVERS_FLATTENING_BOOLBV_TYPE_H
12 
13 #include <util/type.h>
14 
15 // new stuff
16 enum class bvtypet
17 {
18  IS_BV, IS_SIGNED, IS_UNSIGNED, IS_FLOAT, IS_FIXED, IS_C_BOOL,
19  IS_VERILOG_SIGNED, IS_VERILOG_UNSIGNED, IS_RANGE, IS_UNKNOWN,
20  IS_C_ENUM, IS_C_BIT_FIELD
21 };
22 
23 bvtypet get_bvtype(const typet &type);
24 
25 #endif // CPROVER_SOLVERS_FLATTENING_BOOLBV_TYPE_H
typet
The type of an expression, extends irept.
Definition: type.h:28
bvtypet::IS_BV
@ IS_BV
type.h
Defines typet, type_with_subtypet and type_with_subtypest.
bvtypet
bvtypet
Definition: boolbv_type.h:17
get_bvtype
bvtypet get_bvtype(const typet &type)
Definition: boolbv_type.cpp:12