E.5.4 Abstrakte Klasse SearchSolver

Abstrakte Klasse für Constraint-Solver mit Verfahren zur Lösungssuche.

Deklaration:

• public abstract class SearchSolver
  implements Solver

Methoden:

• public abstract boolean search(ConstraintNet constraintNet)
  throws InconsistencyException

  Benötigt als Eingabe ein Constraint-Netz. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.