Das Beispiel zeigt eine Regelfolge zur Prüfung auf Mindestabstände zwischen Metallleitungen auf einer Ebene. Die Prüfanweisungen ist in Pseudocode angegeben. Der Kern besteht darin, die Polygone um d/2 zu expandieren und anschließend wieder zu kontrahieren. Dabei ist d der Mindestabstand zwischen zwei Metallleitungen.