cprover
util.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Loop Acceleration
4 
5 Author: Matt Lewis
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_UTIL_H
13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_UTIL_H
14 
15 #include <util/std_types.h>
16 
19 
20 bool is_bitvector(const typet &t);
21 typet join_types(const typet &t1, const typet &t2);
22 
23 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_UTIL_H
The type of an expression.
Definition: type.h:20
signedbv_typet signed_poly_type()
Definition: util.cpp:20
Fixed-width bit-vector with unsigned binary interpretation.
Definition: std_types.h:1125
typet join_types(const typet &t1, const typet &t2)
Return the smallest type that both t1 and t2 can be cast to without losing information.
Definition: util.cpp:70
Fixed-width bit-vector with two&#39;s complement interpretation.
Definition: std_types.h:1171
bool is_bitvector(const typet &t)
Convenience function – is the type a bitvector of some kind?
Definition: util.cpp:33
API to type classes.
unsignedbv_typet unsigned_poly_type()
Definition: util.cpp:25