Einfacher Algorithmus zum Herstellen von Kantenkonsistenz über finite Domänen nach Marriott und Stuckey (1999, S. 94).
Deklaration:
Methoden:
Einfacher Algorithmus zum Herstellen von Kantenkonsistenz. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.