E.6.5 Klasse NCSolver

Einfacher Algorithmus zum Herstellen von Knotenkonsistenz über finite Domänen nach Marriott und Stuckey (1999, S. 94).

Deklaration:

• public class NCSolver
  extends ConsistencySolver

Methoden:

• public boolean nodeSolve(Expression expr)
  throws InconsistencyException

  Eine Solver der Knotenkonsistenz herstellt, d.h. es werden alle unären Constraints auf konsistente Wertebereiche überprüft und selbige ggf. um unzulässige Werte reduziert. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.