Go to the documentation of this file.
18 expr.
type().
id() == ID_array,
"array_of expression shall have array type");
37 const exprt &array_size=array_type.size();
47 size * tmp.size() == width,
48 "total array bit width shall equal the number of elements times the "
54 auto b_it = tmp.begin();
virtual bvt convert_array_of(const array_of_exprt &expr)
#define DATA_INVARIANT(CONDITION, REASON)
This condition should be used to document that assumptions that are made on goto_functions,...
bool is_unbounded_array(const typet &type) const override
std::vector< literalt > bvt
Base class for all expressions.
typet & type()
Return the type of the expression.
boolbv_widtht boolbv_width
void conversion_failed(const exprt &expr, bvt &bv)
Array constructor from single element.
const irep_idt & id() const
virtual const bvt & convert_bv(const exprt &expr, const optionalt< std::size_t > expected_width=nullopt)
const array_typet & to_array_type(const typet &type)
Cast a typet to an array_typet.