24 return bv_utils.select(cond, true_case_bv, false_case_bv);
virtual const bvt & convert_bv(const exprt &expr, const std::optional< std::size_t > expected_width={})
Convert expression to vector of literalts, using an internal cache to speed up conversion if availabl...
virtual bvt convert_if(const if_exprt &expr)
virtual std::size_t boolbv_width(const typet &type) const
typet & type()
Return the type of the expression.
The trinary if-then-else operator.
literalt convert(const exprt &expr) override
Convert a Boolean expression and return the corresponding literal.
std::vector< literalt > bvt