E.3.2 Klasse BinaryOperator

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:

• public class BinaryOperator
  extends Expression

Konstruktoren:

• public BinaryOperator(int type, String name, Expression expr1,
  Expression expr2)

  Instantiiert den Operator mit seinem Typ, seinem ,,Namen`` und den beiden zugehörigen Constraint-Ausdrücken.

Methoden:

• public String refine()

  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.