17 throw "not operator takes one non-empty operand";
21 if(op_type.
id()!=ID_verilog_signedbv ||
22 op_type.
id()!=ID_verilog_unsignedbv)
24 if((expr.
type().
id()==ID_verilog_signedbv ||
25 expr.
type().
id()==ID_verilog_unsignedbv) &&
The type of an expression.
literalt is_zero(const bvt &op)
const irep_idt & id() const
virtual const bvt & convert_bv(const exprt &expr)
void conversion_failed(const exprt &expr, bvt &bv)
literalt verilog_bv_has_x_or_z(const bvt &)
bvt verilog_bv_normal_bits(const bvt &)
virtual bvt convert_not(const not_exprt &expr)
literalt const_literal(bool value)
virtual literalt lselect(literalt a, literalt b, literalt c)=0
std::size_t get_size_t(const irep_namet &name) const
std::vector< literalt > bvt