#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().