#include <StrategyNode.hh>
Public Member Functions | |
| QECODE_EXPORT | StrategyNode () |
| QECODE_EXPORT | StrategyNode (int type, bool qt, int Vmin, int Vmax, int scope) |
| QECODE_EXPORT | ~StrategyNode () |
| QECODE_EXPORT bool | isFalse () |
| QECODE_EXPORT bool | isTrue () |
| QECODE_EXPORT bool | isDummy () |
Static Public Member Functions | |
| static QECODE_EXPORT StrategyNode | STrue () |
| static QECODE_EXPORT StrategyNode | SFalse () |
| static QECODE_EXPORT StrategyNode | Dummy () |
Public Attributes | |
| int | type |
| bool | quantifier |
| int | Vmin |
| int | Vmax |
| int | scope |
| vector< int > | valeurs |
Definition at line 28 of file StrategyNode.hh.
| StrategyNode::StrategyNode | ( | ) |
| StrategyNode::StrategyNode | ( | int | type, | |
| bool | qt, | |||
| int | Vmin, | |||
| int | Vmax, | |||
| int | scope | |||
| ) |
| StrategyNode::~StrategyNode | ( | ) |
Definition at line 56 of file StrategyNode.cc.
| static QECODE_EXPORT StrategyNode StrategyNode::STrue | ( | ) | [inline, static] |
Definition at line 40 of file StrategyNode.hh.
Referenced by QSolver::rSolve(), and Strategy::STrue().
| static QECODE_EXPORT StrategyNode StrategyNode::SFalse | ( | ) | [inline, static] |
Definition at line 41 of file StrategyNode.hh.
Referenced by QSolver::rSolve(), and Strategy::SFalse().
| static QECODE_EXPORT StrategyNode StrategyNode::Dummy | ( | ) | [inline, static] |
Definition at line 42 of file StrategyNode.hh.
Referenced by Strategy::Dummy(), QSolver::rSolve(), and Strategy::Strategy().
| QECODE_EXPORT bool StrategyNode::isFalse | ( | ) | [inline] |
Definition at line 43 of file StrategyNode.hh.
| QECODE_EXPORT bool StrategyNode::isTrue | ( | ) | [inline] |
Definition at line 44 of file StrategyNode.hh.
| QECODE_EXPORT bool StrategyNode::isDummy | ( | ) | [inline] |
Definition at line 45 of file StrategyNode.hh.
| vector<int> StrategyNode::valeurs |
1.5.2