#include "exprOp.hpp"
#include "CouennePrecisions.hpp"
Include dependency graph for exprDiv.hpp:
Go to the source code of this file.
Classes | |
class | exprDiv |
class for divisions More... | |
Defines | |
#define | BR_NEXT_ZERO 1e-3 |
#define | BR_MULT 1e-3 |
#define | SAFE_COEFFICIENT 1e9 |
Functions | |
bool | is_boundbox_regular (register CouNumber b1, register CouNumber b2) |
check if bounding box is suitable for a multiplication/division convexification constraint |
#define BR_NEXT_ZERO 1e-3 |
Definition at line 17 of file exprDiv.hpp.
#define BR_MULT 1e-3 |
Definition at line 18 of file exprDiv.hpp.
#define SAFE_COEFFICIENT 1e9 |
check if bounding box is suitable for a multiplication/division convexification constraint
Definition at line 123 of file exprDiv.hpp.
References SAFE_COEFFICIENT.