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 |