マーティン・デービス(の作成者を見てくださいJTSトポロジスイート)、Lin.earのth.inking:の癖空間述語「を含みます」
- A の外側にBのポイントがなく、Bの内側の少なくとも1つのポイントがAの内側にある場合、ジオメトリAにはジオメトリB が含まれます。
- A の外側にBのポイントがない場合、ジオメトリA はジオメトリBをカバーします。
この条件を決定するために必要なことは、単純な境界ボックスの比較を実行することだけです。これは、containでは不可能です。GeometryのバウンディングボックスがRectangleで覆われている場合でも、Geometryが完全にRectangleの境界にあるかどうかをテストするには、さらにコストのかかる操作が必要です(この場合、述語は失敗します)。包含の定義をより一般的(包括的)にすることで、包含の定義を「簡素化」
あなたが見ればDE-9IM、あなたはそれが含まれている見ることができる(T*****FF*)
カバーの特別な場合であります(T*****FF*, *T****FF*, ***T**FF*)
たとえば、containsの定義は、Polygonにその境界が含まれていないが、Polygonがその境界をカバーしていることを意味します。
