12 #ifndef CPROVER_GOTO_INSTRUMENT_ACCELERATE_UTIL_H 13 #define CPROVER_GOTO_INSTRUMENT_ACCELERATE_UTIL_H 23 #endif // CPROVER_GOTO_INSTRUMENT_ACCELERATE_UTIL_H The type of an expression, extends irept.
signedbv_typet signed_poly_type()
Fixed-width bit-vector with unsigned binary interpretation.
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.
Fixed-width bit-vector with two's complement interpretation.
bool is_bitvector(const typet &t)
Convenience function – is the type a bitvector of some kind?
unsignedbv_typet unsigned_poly_type()