#include <OptVar.hh>
Inherited by ExistOptVar, and UnivOptVar.
Inheritance diagram for OptVar:

Public Member Functions | |
| virtual QECODE_EXPORT int | getVal (Strategy s)=0 |
| returns value of this optimization variable in the substrategy s | |
| virtual QECODE_EXPORT int | getScope ()=0 |
| returns the scope where this optimization variable belong | |
| virtual | ~OptVar () |
This class defines the interface of an optimization variable, which can be either an existential variable, of the result of an aggregator function
Definition at line 76 of file OptVar.hh.
| virtual QECODE_EXPORT int OptVar::getVal | ( | Strategy | s | ) | [pure virtual] |
returns value of this optimization variable in the substrategy s
Implemented in ExistOptVar, and UnivOptVar.
Referenced by UnivOptVar::getVal(), and QSolver::rSolve().
| virtual QECODE_EXPORT int OptVar::getScope | ( | ) | [pure virtual] |
returns the scope where this optimization variable belong
Implemented in ExistOptVar, and UnivOptVar.
Referenced by Implicative::getAggregate().
1.5.2