E.3.1 Abstrakte Klasse Expression

Abstrakte Klasse für eine rekursive Struktur zur Repräsentation eines algebraischen Constraint-Problems.

Deklaration:

• public abstract class Expression
  implements Cloneable, Serializable

Methoden:

• public abstract boolean setDomain(String variableName, Domain domain)

  Belegt den Wertebereich der angegebenen Variable und gibt zurück, ob dies erfolgreich war (true) oder nicht (false).

• public abstract Domain getDomain(String variableName)

  Liefert die Domäne der übergebenen Variable.

• public abstract List getVariables()

  Liefert eine Liste der Variablennamen des Constraint-Problems.

• public abstract List getUnsetVariables()

  Liefert eine Liste mit den Namen der noch unbelegten Variablen.

• public abstract boolean unsetVariablesLeft()

  Gibt zurück ob unbelegte Variablen existieren (true) oder nicht (false).

• public abstract boolean set(String variableName, DomainElement element)

  Belegt die übergebene Variable mit einem Wert. War die Wertebelegung erfolgreich, wird true zurückgegeben, ansonsten false.

• public abstract DomainElement get(String variableName)

  Liefert die Wertebelegung der übergebenen Variable.

• public abstract boolean satisfiable()

  Prüft die Erfüllbarkeit des Constraint-Ausdrucks bzgl. der aktuellen Wertebelegung.

• public abstract DomainElement evaluate()

  Wertet den Constraint-Ausdruck aus. Liefert als Ergebnis die Belegung einer Variable, den Wert einer Konstante oder das Ergebnis einer Berechnung.

• public abstract List getPrimitiveExpressions()

  Liefert die einzelnen ,,Primärausdrücke`` des Constraint-Problems innerhalb einer Liste (enthält Instanzen des Interface Expression).

• public abstract Variable getVariableReference(String variableName)

  Liefert die Referenz auf die Variable mit dem übergebenen Namen.

• public abstract boolean containsVariable(String variableName)

  Liefert true, wenn der Expression die Variable mit dem übergebenen Namen enthält. Ansonsten wird false zurückgegeben.

• public abstract boolean hasFalseDomain()

  Liefert true, wenn die Domäne einer Variable leer ist. In diesem Fall ist keine Konsistenz bzw. Lösung herstellbar. Ansonsten wird false zurückgegeben.

• public abstract boolean hasValuationDomain()

  Liefert true, wenn eine valuation domain vorliegt, d.h. in den Domänen aller Variablen ist jeweils genau ein Wert enthalten. Ansonsten wird false zurückgegeben.

• public abstract boolean setValuationDomain()

  Wenn eine valuation domain vorliegt, werden die Variablen mit dem in der jeweiligen Domäne einzig vorhandenen Wert belegt. Liefert true, wenn das Ergebnis positiv ist, d.h. die Werte einer valuation domain konnten alle gesetzt werden. Ansonsten wird false zurückgegeben.

• public abstract void singletons()

  Entfernt bei allen Variablen, die mit einem Wert belegt sind, sämtliche anderen Elemente aus deren Domäne. Variablen, die nicht mit einem Wert belegt sind, bleiben unverändert.

• public abstract int count(variableName)

  Liefert den ,,Vernetzungsgrad`` einer Variablen innerhalb des Constraint-Problems, d.h. dem Grad ihres Vorkommens in den Constraints.

• public abstract void init()

  Initialisiert die Constraint-Variablen. Es werden alle vorhandenen Belegungen entfernt.

• public abstract String toString()

  Konvertiert das Objekt in einen String.

• public Object clone()

  Liefert eine Kopie dieses Objekts. Allerdings nur eine shallow copy, d.h. die Felder des Objektes werden nicht geklont.

• public Expression cloneDeep()

  Klont this und rekursiv alle darin referenzierten Objekte mit (die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).