class NodeConsistency: public PropagationAlgorithm

Classe che implementa la Node-Consistenza

Inheritance:

Public Methods

	NodeConsistency ()
void	propagate (CSProblem *c) Applica l'node-consistenza sul CSProblem passato come argomento
virtual	~NodeConsistency () Distruttore

Inherited from PropagationAlgorithm:

Public Methods

std::string getName() const

Protected Fields

std::string name

Protected Methods

bool fulfillable( const ConstraintVector * cv, const VarVector *vv, const Environment * env)

bool fulfillableRec( const ConstraintVector * cv, const VarVector *vv, const Environment * env, VarVector::const_iterator vvit)

NodeConsistency()

void propagate(CSProblem *c)

Applica l'node-consistenza sul CSProblem passato come argomento

virtual ~NodeConsistency()

Distruttore

Alphabetic index HTML hierarchy of classes or Java