Contraintes : définition de valeurs 
Contraintes : définition de valeurs
Dans la section INFERENCES d’une contrainte, vous pouvez déterminer les caractéristiques pour lesquelles la contrainte définit des valeurs. Ne saisissez des caractéristiques que si vous voulez réellement utiliser la contrainte pour définir des valeurs. Si vous souhaitez l’utiliser pour surveiller la cohérence de la configuration, passez cette section.
Ne saisissez pas la variable de caractéristique pour laquelle des valeurs doivent être déduites dans la condition de la contrainte ou dans une condition IF. La déduction doit être techniquement possible. Cela signifie que les zones de données significatives doivent être définies pour les appels de table ou de fonction, que des équations arithmétiques doivent permettre une solution pour la variable, etc.
Si vous voulez utiliser des formules pour déduire des valeurs, vous ne devez pas saisir une formule séparée pour chaque caractéristique, comme c’est le cas avec certains autres langages de programmation :
Tension = Résistance * Courant
Résistance = Tension/Courant
Courant = Tension/Résistance
Vous devez uniquement saisir une équation dans la section RESTRICTIONS de la contrainte. Dans la section INFERENCES, vous ne saisissez que les objets ou variables à déduire.
Les restrictions doivent soit être définies pour toutes les variables devant être déduites, soit n’être autorisées pour aucune.
OBJECTS:
(300) Circuit
where T = Tension;R = Résistance;C = Courant
RESTRICTIONS:
T = R * C
INFERENCES:
T, R, C
Performances du système
Pour améliorer les performances du système, nous vous recommandons de ne saisir des valeurs de caractéristique à déduire que si cela s’avère vraiment nécessaire.
Appels de table
Vous pouvez utiliser des tables dans les contraintes. Les tables peuvent servir à contrôler la cohérence de valeurs affectées, à déduire des valeurs ou à restreindre les valeurs autorisées d’une caractéristique. Pour plus d’informations, voir
Tables dans les contraintes.Explications « Pourquoi pas ? »
Si vous souhaitez savoir pourquoi une contrainte n’a pas inféré de valeur pour une caractéristique spécifique, ou pourquoi une caractéristique spécifique n’a pas déclenché une contrainte, vous pouvez avoir recours à la fonction d’explication ou à la fonction Trace de l’écran de valorisation des caractéristiques pour obtenir davantage d’informations (voir
Fonctions d’explication pour l’affectation de valeurs).