Fonctions de contrôle de la recherche
| Définition | Description |
|---|---|
Void Optional( Real q1, Real q2 ) | Rend un élément optionnel. Le paramètre q1 définit la qualité de l’hypothèse nulle. Le paramètre q2 définit le critère de formulation de l’hypothèse nulle : l’hypothèse nulle est formulée si aucune autre hypothèse dont la qualité dépasse un certain seuil n’est créée. |
Void StopIfFound( Logic Value = true ) | Arrête la génération d’hypothèses dans la branche si elle contient une hypothèse non nulle pour l’élément spécifié. Pour plus d’informations, voir Éléments obligatoires, optionnels et interdits. |
Void DontFind() | Indique au programme de ne pas rechercher l’élément. Si l’élément est optionnel, seule l’hypothèse nulle est formulée. |
Void MaxHypothesesCount( Int ) | Définit le nombre maximal d’hypothèses pour un élément. |