Klasse zur Repräsentation einer Lösung eines Constraint-Problems. Eine Lösung besteht aus der Menge der Variablen des Problems und einer jeweils zugeordneten Wertebelegung.
Deklaration:
Konstruktoren:
Methoden:
Fügt die übergebene Variable (String) mit der angegebenen Wertebelegung (Instanz des Interface yacs.domain.DomainElement) dieser Lösung hinzu.
Liefert eine ,,unmodifizierbare`` Liste mit den Namen (Strings) der an dieser Lösung involvierten Variablen.
Liefert die Wertebelegung der übergebenen Variable in dieser Lösung.
Überprüft, ob die übergebene Lösung identisch mit der aktuellen ist.
Generiert zu Debugging-Zwecken einen String mit den Variablen/Wertebelegungen dieser Lösung.