PSC.consistanceAvecVarsPrecedentes

PSC.consistanceAvecVarsPrecedentes(k)

Verifie si chaque contrainte portant sur la variable k et sur au moins une des variables precedentes dans PSC.VARIABLES est satisfaite

Paramètres:k – position actuelle dans PSC.VARIABLES