bounded_math.cpp File Reference

#include <goto-symex/engine/goto_symex.h>
#include <irep2/irep2_utils.h>
#include <util/arith/ieee_float.h>
#include <util/arith/transcendental.h>
#include <util/base/host_rounding_mode.h>
#include <cfenv>
#include <cmath>

Include dependency graph for bounded_math.cpp:

Functions
static expr2tc	double_constant (const type2tc &type, double value)
static expr2tc	between (const expr2tc &value, double low, double high)

Function Documentation

between()

expr2tc between ( const expr2tc & value, double low, double high )

static

double_constant()

expr2tc double_constant ( const type2tc & type, double value )

static