class ForwardChecking: public PropagationAlgorithm

Classe che implementa la propagazione Forward Checking

Inheritance:

Public Methods

	ForwardChecking ()
void	propagate (CSProblem *c) Effettua la propagazione sul CSProblem passato come argomento con metodo Forward Checking
virtual	~ForwardChecking () 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)

ForwardChecking()

void propagate(CSProblem *c)

Effettua la propagazione sul CSProblem passato come argomento con metodo Forward Checking

virtual ~ForwardChecking()

Distruttore

Alphabetic index HTML hierarchy of classes or Java