Abstrakte Klasse für Constraint-Solver mit Verfahren zur Herstellung eines speziellen Konsistenzgrades.
Deklaration:
Methoden:
Benötigt als Eingabe ein Constraint-Netz. Liefert true, wenn Wertebereichseinschränkungen vorgenommen wurden, false wenn nicht.