#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 |