控制搜尋

Function	Description
`Void Optional( Real q1, Real q2 )`	將元素設為選用。`q1` 參數設定虛無假設的品質。`q2` 參數設定建立虛無假設的條件：如果沒有產生其他品質超過特定臨界值的假設，將會建立虛無假設。
`Void StopIfFound ( Logic Value=true )`	如果該分支中包含針對給定元素的非空假設，則停止在該分支中產生假設。更多資訊，請參閱「必要、選用與禁止元素」一節。
`Void DontFind()`	指示程式不要搜尋某個元素。若該元素為選用，則只會建立虛無假設。
`Void MaxHypothesesCount( Int )`	設定某元素可產生的假設數量上限。