literalt convert(const exprt &expr) override
boolbv_widtht boolbv_width
The trinary if-then-else operator.
typet & type()
Return the type of the expression.
virtual const bvt & convert_bv(const exprt &expr, const optionalt< std::size_t > expected_width=nullopt)
bvt select(literalt s, const bvt &a, const bvt &b)
If s is true, selects a otherwise selects b.
virtual bvt convert_if(const if_exprt &expr)
std::vector< literalt > bvt