E.3.4 Klasse Variable

Klasse zur Repräsentation einer numerischen Variablen innerhalb einer rekursiven Struktur zur Repräsentation eines algebraischen Constraint-Problems (Dokumentation siehe abstrakte Klasse yacs.parser.Expression).

Deklaration:

• public class Variable
  extends Expression

Konstruktoren:

• public Variable(String name)

  Instantiiert die Variable mit ihrem Namen.

• public Variable(String name, Domain domain)

  Instantiiert die Variable mit ihrem Namen und ihrer Domäne.

• public Variable(String name, Domain domain, DomainElement element)

  Instantiiert die Variable mit ihrem Namen, ihrer Domäne und einer aktuellen Belegung.

Methoden:

• public String getName()

  Liefert den Namen der Variablen.

• public Domain getDomain()

  Liefert die zugehörige Domäne der Variablen. Diese Methode ermöglicht die direkte Abfrage (anstatt der getDomain(String)-Methode) unter Umgehung der rekursiven Struktur, wenn sichergestellt ist, dass das vorhandene Objekt eine Instanz der Klasse Variable ist.

• public boolean setValue(DomainElement element)

  Belegt diese Variable mit einem Element aus ihrer Domäne. Liefert true, wenn dies erfolgreich war, false wenn nicht (Wert des Elements in der Domäne nicht vorhanden). Diese Methode ermöglicht den direkten Aufruf (anstatt der set()-Methode) unter Umgehung der rekursiven Struktur, wenn sichergestellt ist, dass das vorhandene Objekt eine Instanz der Klasse Variable ist.

• public DomainElement getValue()

  Liefert die Wertebelegung der Variable. Diese Methode ermöglicht die direkte Abfrage (anstatt der get()-Methode) unter Umgehung der rekursiven Struktur, wenn sichergestellt ist, dass das vorhandene Objekt eine Instanz der Klasse Variable ist.

• public boolean deleteValue(DomainElement element)

  Entfernt das übergebene Element aus der Domäne der Variablen. Ist die Variable mit diesem Element aktuell belegt, so ist sie anschließend unbelegt (null). Liefert true, wenn das Entfernen erfolgreich war (Element war in der Domäne enthalten), false wenn nicht.

• public boolean narrow(int operatorType, DomainElement element)

  Liefert true, wenn der Wertebereich der Variable eingeschränkt wurde. Gibt false zurück, wenn keine Änderung vorgenommen wurde.