11#ifndef COUENNE_EXPRBOUND_HPP
12#define COUENNE_EXPRBOUND_HPP
59 void print (std::ostream &out = std::cout,
108 void print (std::ostream &out = std::cout,
Define a dynamic point+bounds, with a way to save and restore previous points+bounds through a LIFO s...
These are bound expression classes.
CouNumber operator()()
return the value of the variable
exprLowerBound(int varIndex, Domain *d=NULL)
Constructor.
int dependsOn(int *, int, enum dig_type type=STOP_AT_AUX)
dependence on variable set
exprLowerBound * clone(Domain *d=NULL) const
cloning method
void print(std::ostream &out=std::cout, bool=false) const
Print to iostream.
virtual int Linearity()
get a measure of "how linear" the expression is:
enum nodeType Type() const
Node type.
exprLowerBound(const exprLowerBound &src, Domain *d=NULL)
Copy constructor.
expression * differentiate(int)
differentiation
virtual enum expr_type code()
code for comparisons
CouNumber operator()()
return the value of the variable
exprUpperBound(const exprUpperBound &src, Domain *d=NULL)
Copy constructor.
virtual enum expr_type code()
code for comparisons
virtual int Linearity()
get a measure of "how linear" the expression is:
exprUpperBound(int varIndex, Domain *d=NULL)
Constructor.
enum nodeType Type() const
Node type.
exprUpperBound * clone(Domain *d=NULL) const
cloning method
void print(std::ostream &out=std::cout, bool=false) const
Print to iostream.
int dependsOn(int *, int, enum dig_type type=STOP_AT_AUX)
dependence on variable set
expression * differentiate(int)
differentiation
virtual CouNumber & ub()
Get/set upper bound value.
int varIndex_
The index of the variable.
virtual CouNumber & lb()
Get/set lower bound value.
Domain * domain_
Pointer to a descriptor of the current point/bounds.
general include file for different compilers
nodeType
type of a node in an expression tree
dig_type
type of digging when filling the dependence list
double CouNumber
main number type in Couenne
expr_type
code returned by the method expression::code()