21 if(type.
id()==ID_unsignedbv ||
22 type.
id()==ID_signedbv)
The type of an expression.
literalt equal(const bvt &op0, const bvt &op1)
Bit-blasting ID_equal and use in other encodings.
bvt new_variables(std::size_t width)
generates a bitvector of given width with new variables
boolbv_widtht boolbv_width
const irep_idt & id() const
A generic base class for binary expressions.
virtual const bvt & convert_bv(const exprt &expr)
void conversion_failed(const exprt &expr, bvt &bv)
const typet & follow(const typet &) const
bvt select(literalt s, const bvt &a, const bvt &b)
If s is true, selects a otherwise selects b.
bvt shift(const bvt &op, const shiftt shift, std::size_t distance)
std::vector< literalt > bvt
bvt build_constant(const mp_integer &i, std::size_t width)
virtual bvt convert_power(const binary_exprt &expr)