class PropagationAlgorithm

Classe base per gli algoritmi di propagazione

Inheritance:

Public Methods

std::string	getName () const Restituisce il nome dell'algoritmo di propagazione
void	propagate (CSProblem *c) Effettua la sua propagazione sul CSProblem pasato come argomento
virtual	~PropagationAlgorithm () Distruttore

Protected Fields

std::string

name

Protected Methods

bool	fulfillable ( const ConstraintVector * cv, const VarVector *vv, const Environment * env) Verifica che esista almeno una combinazione di valori delle variabili in vv che, insieme ai bindings in env, soddisfi tutti i vincoli in cv
bool	fulfillableRec ( const ConstraintVector * cv, const VarVector *vv, const Environment * env, VarVector::const_iterator vvit) Versione ricorsiva di fulfillable utilizzata da fulfillable

std::string getName() const

Restituisce il nome dell'algoritmo di propagazione

void propagate(CSProblem *c)

Effettua la sua propagazione sul CSProblem pasato come argomento

virtual ~PropagationAlgorithm()

Distruttore

std::string name

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

Verifica che esista almeno una combinazione di valori delle variabili in vv che, insieme ai bindings in env, soddisfi tutti i vincoli in cv

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

Versione ricorsiva di fulfillable utilizzata da fulfillable

Direct child classes:

PartialLookAhead
NodeConsistency
FullLookAhead
ForwardChecking
ArcConsistency

Alphabetic index HTML hierarchy of classes or Java