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