Passer au contenu principal
FonctionDescription
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 sera formulée si aucune autre hypothèse n’est créée dont la qualité dépasse un certain seuil.
Void StopIfFound ( Logic Value=true )Interrompt la génération d’hypothèses dans la branche si elle contient une hypothèse non nulle pour l’élément donné. Pour plus d’informations, voir la section Éléments obligatoires, optionnels et interdits.
Void DontFind()Indique au programme de ne pas rechercher un élément. Si l’élément est optionnel, seule l’hypothèse nulle sera formulée.
Void MaxHypothesesCount( Int )Définit le nombre maximal d’hypothèses pour un élément.