24 if(op1_bv.size()!=width || op2_bv.size()!=width)
25 throw "operand size mismatch for if "+expr.
pretty();
virtual literalt convert(const exprt &expr) override
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
boolbv_widtht boolbv_width
The trinary if-then-else operator.
virtual const bvt & convert_bv(const exprt &expr)
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