planificateur.ContrainteAxiomeCadre.estValide

ContrainteAxiomeCadre.estValide(var, val)

Teste si la contrainte est valide et respectee par les valeurs des variables qui la composent.