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 {
21 };
22 
23 bvtypet get_bvtype(const typet &type);
24 
25 #endif // CPROVER_SOLVERS_FLATTENING_BOOLBV_TYPE_H
The type of an expression.
Definition: type.h:22
bvtypet
Definition: boolbv_type.h:16
bvtypet get_bvtype(const typet &type)
Definition: boolbv_type.cpp:12