26 std::size_t
op_width = width / operands.size();
28 for(
const auto &op : operands)
32 bv.insert(bv.end(),
tmp.begin(),
tmp.end());
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
virtual const bvt & convert_bv(const exprt &expr, const optionalt< std::size_t > expected_width=nullopt)
Convert expression to vector of literalts, using an internal cache to speed up conversion if availabl...
bvt conversion_failed(const exprt &expr)
Print that the expression of x has failed conversion, then return a vector of x's width.
virtual bvt convert_vector(const vector_exprt &expr)
virtual std::size_t boolbv_width(const typet &type) const
std::vector< exprt > operandst
typet & type()
Return the type of the expression.
Vector constructor from list of elements.
std::vector< literalt > bvt