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
expression * clone(Domain *d=NULL) const
cloning method
exprLBSin(expression *lb, expression *ub)
Constructors, destructor.
enum pos printPos() const
print position (PRE, INSIDE, POST)
std::string printOp() const
print operator
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
expression * clone(Domain *d=NULL) const
cloning method
std::string printOp() const
print operator
enum pos printPos() const
print position (PRE, INSIDE, POST)
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)