E.6.2 Klasse ACSolver

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

Deklaration:

• public class ACSolver
  extends ConsistencySolver

Methoden:

• public boolean arcSolve(Expression expr)
  throws InconsistencyException

  Einfacher Algorithmus zum Herstellen von Kantenkonsistenz. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.