#include <OptVar.hh>
Inherits OptVar.
Inheritance diagram for ExistOptVar:
Public Member Functions | |
| QECODE_EXPORT | ExistOptVar (int var, int scope) |
| virtual QECODE_EXPORT int | getVal (Strategy s) |
| returns value of this optimization variable in the substrategy s | |
| virtual QECODE_EXPORT int | getScope () |
| returns the scope where this optimization variable belong | |
| virtual | ~ExistOptVar () |
Private Attributes | |
| int | varId |
| int | scopeId |
This class defines an existential optimization variable. This variabe is just an other point of view for an existential variable of the problem.
Definition at line 87 of file OptVar.hh.
| ExistOptVar::ExistOptVar | ( | int | var, | |
| int | scope | |||
| ) |
| int ExistOptVar::getVal | ( | Strategy | s | ) | [virtual] |
returns value of this optimization variable in the substrategy s
Implements OptVar.
Definition at line 30 of file OptVar.cc.
References Strategy::getChild(), Strategy::isDummy(), Strategy::isFalse(), Strategy::isTrue(), Strategy::scope(), scopeId, Strategy::value(), varId, and Strategy::VMin().
| int ExistOptVar::getScope | ( | ) | [virtual] |
int ExistOptVar::varId [private] |
int ExistOptVar::scopeId [private] |
1.5.2