跳转到主要内容
FunctionDescription
Void Optional( Real q1, Real q2 )将元素设为可选。q1 参数用于设置空假设的质量。q2 参数用于设置制定空假设的条件：若未生成其他质量超过指定阈值的假设，则会制定空假设。
Void StopIfFound ( Logic Value=true )若该分支中包含针对给定元素的非空假设，则停止在该分支中继续生成假设。详见“必需、可选和禁止的元素”章节。
Void DontFind()指示程序不要查找该元素。若该元素为可选，则只会制定空假设。
Void MaxHypothesesCount( Int )设置某元素的最大假设数量。