22 if(operands.size()==2)
33 if(bv0.size()==bv1.size() && !bv0.empty() &&
38 if(rel==ID_ieee_float_equal)
40 else if(rel==ID_ieee_float_notequal)
virtual literalt convert_ieee_float_rel(const exprt &expr)
const irep_idt & id() const
virtual const bvt & convert_bv(const exprt &expr)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
bvtypet get_bvtype(const typet &type)
std::vector< exprt > operandst
const floatbv_typet & to_floatbv_type(const typet &type)
Cast a generic typet to a floatbv_typet.
Base class for all expressions.
virtual literalt convert_rest(const exprt &expr)
std::vector< literalt > bvt
literalt relation(const bvt &src1, relt rel, const bvt &src2)