12 #ifndef CPROVER_SOLVERS_FLOATBV_FLOAT_APPROXIMATION_H 13 #define CPROVER_SOLVERS_FLOATBV_FLOAT_APPROXIMATION_H 41 #endif // CPROVER_SOLVERS_FLOATBV_FLOAT_APPROXIMATION_H
virtual ~float_approximationt()
bvt overapproximating_left_shift(const bvt &src, unsigned dist)
virtual void normalization_shift(bvt &fraction, bvt &exponent)
normalize fraction/exponent pair returns 'zero' if fraction is zero
bool partial_interpretation
float_approximationt(propt &_prop)
std::vector< literalt > bvt