PSC

Module implementant les algorithmes du backtracking et du forward checking pour la resolution des problemes de contraintes

Chaque algorithme utilise les methodes de consistance pour eviter d’avoir des instanciations de valeurs qui ne sont pas compatibles avec les contraintes. Pour plus de details sur le fonctionnement des PSC, lire le chapitre 8 du livre.

Voir aussi

Chapitre 8 du livre

Fonctions

afficheNbIterations(algo, k)	Affiche le nombre d’iterations ainsi que quelques informations utiles
afficheSolution(algo, solution)	Affiche la solution avec quelques informations utiles
backtrack(k[, toutesLesSolutions, initialise])	Algorithme de backtracking simple
consistanceAvecVarsPrecedentes(k)	Verifie si chaque contrainte portant sur la variable k et sur au moins

Classes

Contraintes()	Classe gerant la liste des contraintes PSC.CONTRAINTES
Variables()	Classe gerant la liste des variables PSC.VARIABLES