StrategyNode Class Reference

#include <StrategyNode.hh>

List of all members.

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


Detailed Description

Definition at line 28 of file StrategyNode.hh.


Constructor & Destructor Documentation

StrategyNode::StrategyNode (  ) 

Definition at line 25 of file StrategyNode.cc.

References quantifier, scope, type, Vmax, and Vmin.

StrategyNode::StrategyNode ( int  type,
bool  qt,
int  Vmin,
int  Vmax,
int  scope 
)

Definition at line 33 of file StrategyNode.cc.

References quantifier, scope, type, Vmax, and Vmin.

StrategyNode::~StrategyNode (  ) 

Definition at line 56 of file StrategyNode.cc.


Member Function Documentation

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.


Member Data Documentation

int StrategyNode::type

Definition at line 30 of file StrategyNode.hh.

Referenced by printStr(), and StrategyNode().

bool StrategyNode::quantifier

Definition at line 31 of file StrategyNode.hh.

Referenced by printStr(), and StrategyNode().

int StrategyNode::Vmin

Definition at line 32 of file StrategyNode.hh.

Referenced by printStr(), and StrategyNode().

int StrategyNode::Vmax

Definition at line 33 of file StrategyNode.hh.

Referenced by printStr(), and StrategyNode().

int StrategyNode::scope

Definition at line 34 of file StrategyNode.hh.

Referenced by printStr(), and StrategyNode().

vector<int> StrategyNode::valeurs

Definition at line 35 of file StrategyNode.hh.

Referenced by printStr(), and Strategy::Strategy().


The documentation for this class was generated from the following files:
Generated on Tue Jun 10 18:32:01 2008 for qecode by  doxygen 1.5.2