cprover
refine_arithmetic.cpp File Reference
Include dependency graph for refine_arithmetic.cpp:

Go to the source code of this file.

Macros

#define MAX_INTEGER_UNDERAPPROX   3
 
#define MAX_FLOAT_UNDERAPPROX   10
 

Macro Definition Documentation

◆ MAX_FLOAT_UNDERAPPROX

#define MAX_FLOAT_UNDERAPPROX   10

Definition at line 23 of file refine_arithmetic.cpp.

Referenced by bv_refinementt::check_UNSAT().

◆ MAX_INTEGER_UNDERAPPROX

#define MAX_INTEGER_UNDERAPPROX   3

Definition at line 22 of file refine_arithmetic.cpp.

Referenced by bv_refinementt::check_UNSAT().