11 #ifndef COUENNE_EXPRBSIN_HPP 12 #define COUENNE_EXPRBSIN_HPP 19 # define M_PI 3.14159265358979323846 67 (floor (l/pi2 - 0.75) <
68 floor (u/pi2 - 0.75)))
119 if ((u - l >= pi2) ||
120 (floor (l/pi2 - 0.25) <
121 floor (u/pi2 - 0.25)))
expression * clone(Domain *d=NULL) const
cloning method
expression ** arglist_
argument list is an array of pointers to other expressions
pos
position where the operator should be printed when printing the expression
std::string printOp() const
print operator
CouExpr & sin(CouExpr &e)
expression * clone(Domain *d=NULL) const
cloning method
class to compute lower bound of a sine based on the bounds on its arguments
general n-ary operator-type expression: requires argument list.
double CouNumber
main number type in Couenne
CouNumber operator()()
function for the evaluation of the expression
T CoinMax(const T x1, const T x2)
CouNumber operator()()
function for the evaluation of the expression
enum pos printPos() const
print position (PRE, INSIDE, POST)
Define a dynamic point+bounds, with a way to save and restore previous points+bounds through a LIFO s...
enum pos printPos() const
print position (PRE, INSIDE, POST)
exprLBSin(expression *lb, expression *ub)
Constructors, destructor.
T CoinMin(const T x1, const T x2)
exprUBSin(expression *lb, expression *ub)
Constructors, destructor.
class to compute lower bound of a sine based on the bounds on its arguments
std::string printOp() const
print operator
general include file for different compilers