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