Passer au contenu principal

Void Optional( Real q1, Real q2 )

Rend un élément facultatif. 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 : celle-ci sera formulée si aucune autre hypothèse n’est créée avec une qualité supérieure à un certain seuil.

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 donné.

Pour plus d’informations, voir la section Éléments obligatoires, facultatifs et interdits.

Void DontFind()

Indique au programme de ne pas rechercher l’élément. Si l’élément est facultatif, seule l’hypothèse nulle sera formulée.

Void MaxHypothesesCount( Int )

Définit le nombre maximal d’hypothèses pour un élément.