E.6.1 Klasse AC3Solver

Einfacher Solver zum Herstellen von Kantenkonsistenz über finite Domänen mittels AC-3 nach Mackworth (1977a, S. 106).

Deklaration:

• public class AC3Solver
  extends ConsistencySolver

Methoden:

• public boolean arcSolve(Expression expr)
  throws OnlyBinaryConstraintsAllowedException, InconsistencyException

  Einfacher Constraint-Solver, der Kantenkonsistenz mittels AC-3 herstellt. AC-3 kann ausschließlich binäre Constraints verarbeiten, d.h. es dürfen maximal zwei Variablen in jedem primitiven Ausdruck vorhanden sein! Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.