12 #ifndef CPROVER_GOTO_PROGRAMS_ADJUST_FLOAT_EXPRESSIONS_H
13 #define CPROVER_GOTO_PROGRAMS_ADJUST_FLOAT_EXPRESSIONS_H
void adjust_float_expressions(exprt &expr, const namespacet &ns)
Adjust floating point subexpressions in the passed expr with the rounding mode from the ns.
Base class for all expressions.
A collection of goto functions.
::goto_functiont goto_functiont
goto_functionst goto_functions
GOTO functions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Goto Programs with Functions.