24 if(width<op_bv.size())
25 throw "union: unexpected operand op width";
32 for(std::size_t i=0; i<op_bv.size(); i++)
36 for(std::size_t i=op_bv.size(); i<bv.size(); i++)
47 for(std::size_t i=0; i<op_bv.size(); i++)
48 bv[map_u.map_bit(i)]=op_bv[map_op.map_bit(i)];
51 for(std::size_t i=op_bv.size(); i<bv.size(); i++)
struct configt::ansi_ct ansi_c
Maps a big-endian offset to a little-endian offset.
boolbv_widtht boolbv_width
virtual literalt new_variable()=0
virtual const bvt & convert_bv(const exprt &expr)
union constructor from single element
void conversion_failed(const exprt &expr, bvt &bv)
virtual bvt convert_union(const union_exprt &expr)
std::vector< literalt > bvt