The AnyNoOverlap test signals a violation if any source figure is completely covered by the figures associated with the expression. This is illustrated in Figure 15.6, for no Region and an expression consisting of a single layer.
![]() |
The returns from the various Overlap tests are summarized in the table below.
| rule | total coverage | partial coverage | no coverage |
|---|---|---|---|
| Overlap | ok | error | error |
| IfOverlap | ok | error | ok |
| NoOverlap | error | error | ok |
| AnyOverlap | ok | ok | error |
| PartOverlap | error | ok | error |
| AnyNoOverlap | error | ok | ok |