CBMC: /home/runner/work/cbmc/cbmc/src/solvers/floatbv/float_approximation.h Source File

17 class float_approximationt:public float_utilst

18{

19public:

26

27 virtual ~float_approximationt();

28

29 bool over_approximate;

30 bool partial_interpretation;

31

32protected:

33 virtual void normalization_shift(bvt &fraction, bvt &exponent);

34 bvt overapproximating_left_shift(const bvt &src, unsigned dist);

35

36private:

37 // NOLINTNEXTLINE(readability/identifiers)

38 typedef float_utilst SUB;

39};

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

float_approximationt

Definition float_approximation.h:18

float_approximationt::overapproximating_left_shift

bvt overapproximating_left_shift(const bvt &src, unsigned dist)

Definition float_approximation.cpp:66

float_approximationt::normalization_shift

virtual void normalization_shift(bvt &fraction, bvt &exponent)

normalize fraction/exponent pair returns 'zero' if fraction is zero

Definition float_approximation.cpp:15

float_approximationt::over_approximate

bool over_approximate

Definition float_approximation.h:29

float_approximationt::~float_approximationt

virtual ~float_approximationt()

Definition float_approximation.cpp:11

float_approximationt::float_approximationt

float_approximationt(propt &_prop)

Definition float_approximation.h:20

float_approximationt::partial_interpretation

bool partial_interpretation

Definition float_approximation.h:30

float_approximationt::SUB

float_utilst SUB

Definition float_approximation.h:38

float_utilst

Definition float_utils.h:18

propt

TO_BE_DOCUMENTED.

Definition prop.h:25

float_utils.h

bvt

std::vector< literalt > bvt

Definition literal.h:201