#include <exprBound.hpp>
Inheritance diagram for exprUpperBound:


Public Member Functions | |
| enum nodeType | Type () const |
| Node type. | |
| exprUpperBound (int varIndex, Domain *d=NULL) | |
| Constructor. | |
| exprUpperBound (const exprUpperBound &src, Domain *d=NULL) | |
| Copy constructor. | |
| exprUpperBound * | clone (Domain *d=NULL) const |
| cloning method | |
| void | print (std::ostream &out=std::cout, bool=false) const |
| Print to iostream. | |
| CouNumber | operator() () |
| return the value of the variable | |
| expression * | differentiate (int) |
| differentiation | |
| int | dependsOn (int *, int, enum dig_type type=STOP_AT_AUX) |
| dependence on variable set | |
| virtual int | Linearity () |
| get a measure of "how linear" the expression is: | |
| virtual enum expr_type | code () |
| code for comparisons | |
Definition at line 85 of file exprBound.hpp.
| exprUpperBound::exprUpperBound | ( | int | varIndex, | |
| Domain * | d = NULL | |||
| ) | [inline] |
| exprUpperBound::exprUpperBound | ( | const exprUpperBound & | src, | |
| Domain * | d = NULL | |||
| ) | [inline] |
| enum nodeType exprUpperBound::Type | ( | ) | const [inline, virtual] |
Node type.
Reimplemented from exprVar.
Definition at line 90 of file exprBound.hpp.
References CONST.
| exprUpperBound* exprUpperBound::clone | ( | Domain * | d = NULL |
) | const [inline, virtual] |
cloning method
Reimplemented from exprVar.
Definition at line 102 of file exprBound.hpp.
References exprUpperBound().
| void exprUpperBound::print | ( | std::ostream & | out = std::cout, |
|
| bool | = false | |||
| ) | const [inline, virtual] |
Print to iostream.
Reimplemented from exprVar.
Definition at line 106 of file exprBound.hpp.
References exprVar::varIndex_.
| CouNumber exprUpperBound::operator() | ( | ) | [inline, virtual] |
return the value of the variable
Reimplemented from exprVar.
Definition at line 111 of file exprBound.hpp.
References exprVar::domain_, exprVar::ub(), and exprVar::varIndex_.
| expression* exprUpperBound::differentiate | ( | int | ) | [inline, virtual] |
| int exprUpperBound::dependsOn | ( | int * | , | |
| int | , | |||
| enum dig_type | type = STOP_AT_AUX | |||
| ) | [inline, virtual] |
dependence on variable set
Reimplemented from expression.
Definition at line 119 of file exprBound.hpp.
| virtual int exprUpperBound::Linearity | ( | ) | [inline, virtual] |
get a measure of "how linear" the expression is:
Reimplemented from exprVar.
Definition at line 123 of file exprBound.hpp.
References CONST.
| virtual enum expr_type exprUpperBound::code | ( | ) | [inline, virtual] |
code for comparisons
Reimplemented from exprVar.
Definition at line 127 of file exprBound.hpp.
References COU_EXPRUBOUND.
1.4.7