WITH NEIGHBOR returns apparent false error on two layer check

Document created by brent_beebe on Oct 9, 2012
Version 1Show Document
  • View in full screen mode


Given this situation:


layB = layA INSIDE layC

check1 {WITH NEIGHBOR layB layA >= 1 SPACE < nnn.nn }


Appears to returns errors on all layB polygons, even when the SPACE constraint is not met.

The reason is that the layA polygon (that layB is derived from) is still coincident with the layB polygon, therefore, the constraint IS being met, for almost ANY constraint value



Distinguish layA polygons that are coincident with layB so they are not being checked.


check1 {WITH NEIGHBOR layB (layA NOT layB) >= 1 SPACE < nn.nn }