18 if(expr.
id()==ID_bitnot)
26 else if(expr.
id()==ID_bitand || expr.
id()==ID_bitor ||
27 expr.
id()==ID_bitxor ||
28 expr.
id()==ID_bitnand || expr.
id()==ID_bitnor ||
29 expr.
id()==ID_bitxnor)
43 for(std::size_t i=0; i<width; i++)
45 if(expr.
id()==ID_bitand)
47 else if(expr.
id()==ID_bitor)
49 else if(expr.
id()==ID_bitxor)
51 else if(expr.
id()==ID_bitnand)
53 else if(expr.
id()==ID_bitnor)
55 else if(expr.
id()==ID_bitxnor)
bvt inverted(const bvt &op)
boolbv_widtht boolbv_width
virtual literalt lor(literalt a, literalt b)=0
#define CHECK_RETURN(CONDITION)
virtual literalt land(literalt a, literalt b)=0
const irep_idt & id() const
virtual const bvt & convert_bv(const exprt &expr)
virtual literalt lxor(literalt a, literalt b)=0
void conversion_failed(const exprt &expr, bvt &bv)
#define forall_operands(it, expr)
virtual literalt lnand(literalt a, literalt b)=0
virtual literalt lequal(literalt a, literalt b)=0
Base class for all expressions.
#define DATA_INVARIANT(CONDITION, REASON)
virtual literalt lnor(literalt a, literalt b)=0
std::vector< literalt > bvt
virtual bvt convert_bitwise(const exprt &expr)