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
class
typet
;
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
bvtypet
bvtypet
Definition:
boolbv_type.h:17
get_bvtype
bvtypet get_bvtype(const typet &type)
Definition:
boolbv_type.cpp:13
solvers
flattening
boolbv_type.h
Generated by
1.8.20