cprover
|
#include "bv_refinement.h"
#include <util/bv_arithmetic.h>
#include <util/ieee_float.h>
#include <util/expr_util.h>
#include <util/arith_tools.h>
#include <solvers/floatbv/float_utils.h>
Go to the source code of this file.
Macros | |
#define | MAX_INTEGER_UNDERAPPROX 3 |
#define | MAX_FLOAT_UNDERAPPROX 10 |
#define MAX_FLOAT_UNDERAPPROX 10 |
Definition at line 20 of file refine_arithmetic.cpp.
#define MAX_INTEGER_UNDERAPPROX 3 |
Definition at line 19 of file refine_arithmetic.cpp.