class ArcConsistency: public PropagationAlgorithm

Classe che implementa l'Arc-Consistenza

Inheritance:

Public Methods

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

Private Methods

void	move (ConstraintVector * cvTo, ConstraintVector * cvFrom, Variable * var) Sposta in cvTo i vincoli in cvFrom che contengono la variabile var

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)

ArcConsistency()

void propagate(CSProblem *c)

Applica l'arc-consistenza sul CSProblem passato come argomento

virtual ~ArcConsistency()

Distruttore

void move(ConstraintVector * cvTo, ConstraintVector * cvFrom, Variable * var)

Sposta in cvTo i vincoli in cvFrom che contengono la variabile var

This class has no child classes.

Alphabetic index HTML hierarchy of classes or Java