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