Advanced pre-search relations の制約タイプ
- Rectangle、Region、または矩形の配列 – 検索領域を、1 つの矩形 (
Rect変数) 、1 つの Region (つまり、連続した矩形の配列であるRegion変数) 、または一般には連続している必要のない矩形の配列 (RectArray変数) に制限します。この制約は、RestrictSearchArea関数と対応する型のパラメーターを使用して設定します。必要な型の値を返す任意の式をパラメーターとして使用できます。 - 半平面 – 検索領域を、特定の点の左側、右側、上側、または下側にある半平面に制限します。これらの制約は、
Leftof、Rightof、Above、Below関数を使用して設定します。 - 要素境界 – 要素の個々の境界に制約を設定します。これにより、検索領域の計算段階で可能な仮説の範囲が狭まります。これらの制約は、
LeftBound、RightBound、topBound、BottomBound関数と>および<演算子を使用して設定します。 - 除外 – 矩形、矩形の配列、仮説などを検索領域から除外します。これらの制約は、
Exclude、ExcludeRect、ExcludeSet関数を使用して設定します。
LeftBound 関数と RightBound 関数は検索領域の左境界と右境界にアクセスし、topBound 関数と BottomBound 関数はそれぞれ上境界と下境界にアクセスします。
