libPSC¶
Module variable et noeud pour PSC
Classes
Contrainte(vars) |
Classe modelisant une contrainte sur une ou plusieurs variables |
ContrainteBinaire(refVar1, op, refVar2) |
Classe modelisant une contrainte binaire |
ContrainteUnaire(refVar, op, ref) |
Classe modelisant une contrainte unaire |
Variable(nom, domaine) |
Classe modelisant une variable |