Go to the documentation of this file.
18 if(expr.
id()==ID_bitnot)
24 else if(expr.
id()==ID_bitand || expr.
id()==ID_bitor ||
25 expr.
id()==ID_bitxor ||
26 expr.
id()==ID_bitnand || expr.
id()==ID_bitnor ||
27 expr.
id()==ID_bitxnor)
40 for(std::size_t i=0; i<width; i++)
42 if(expr.
id()==ID_bitand)
44 else if(expr.
id()==ID_bitor)
46 else if(expr.
id()==ID_bitxor)
48 else if(expr.
id()==ID_bitnand)
50 else if(expr.
id()==ID_bitnor)
52 else if(expr.
id()==ID_bitxnor)
std::vector< literalt > bvt
Base class for all expressions.
virtual literalt lor(literalt a, literalt b)=0
bvt inverted(const bvt &op)
virtual literalt land(literalt a, literalt b)=0
typet & type()
Return the type of the expression.
virtual literalt lxor(literalt a, literalt b)=0
boolbv_widtht boolbv_width
void conversion_failed(const exprt &expr, bvt &bv)
#define forall_operands(it, expr)
virtual literalt lnand(literalt a, literalt b)=0
const irep_idt & id() const
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...
virtual bvt convert_bitwise(const exprt &expr)
virtual literalt lequal(literalt a, literalt b)=0
const bitnot_exprt & to_bitnot_expr(const exprt &expr)
Cast an exprt to a bitnot_exprt.
virtual literalt lnor(literalt a, literalt b)=0