E.5.3 Abstrakte Klasse PreprocessingSolver

Abstrakte Klasse für Constraint-Solver mit Preprozessing-Verfahren.

Deklaration:

• public abstract class PreprocessingSolver
  implements Solver

Methoden:

• public abstract boolean process(ConstraintNet constraintNet)
  throws InconsistencyException

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