Klasse zur Repräsentation eines binären Operators innerhalb einer rekursiven Struktur zur Repräsentation eines algebraischen Constraint-Problems (Dokumentation siehe abstrakte Klasse yacs.parser.Expression).
Deklaration:
Konstruktoren:
Instantiiert den Operator mit seinem Typ, seinem ,,Namen`` und den beiden zugehörigen Constraint-Ausdrücken.
Methoden:
Liefert den Namen der Variable, deren Wertebereich eingeschränkt wurde. Gibt null zurück, wenn keine Änderung vorgenommen wurde. ACHTUNG: Verarbeitet zurzeit ausschließlich Constraints bzw. Expressions, die eine solution function darstellen.