E.4.1 Klasse Domain

Klasse zur Repräsentation der Domäne einer Constraint-Variablen.

Deklaration:

• public class Domain
  implements Cloneable, Serializable

Konstruktoren:

• public Domain()

  Instantiiert die Domäne.

• public Domain(DomainElement element)

  Die Domäne wird mit einem Element instantiiert.

• public Domain(List domain)

  Die Domäne wird mit einer Liste mit Elementen instantiiert (Instanzen des Interface yacs.domain.DomainElement).

Methoden:

• public boolean add(DomainElement element)

  Der Domäne wird ein Element hinzugefügt, wenn sein Wert noch nicht vorhanden ist. Liefert true zurück, wenn dies erfolgreich war, false wenn nicht (Wert bereits vorhanden).

• public boolean update(DomainElement element)

  Aktualisiert den Wert für das übergebene Element in der Domäne.

• public List getElements()

  Liefert eine ,,unmodifizierbare`` Liste mit den Elementen der Domäne (Instanzen des Interface yacs.domain.DomainElement).

• public DomainElement getElement(DomainElement element)

  Liefert eine Referenz auf das in dieser Domäne vorhandene Element, welches der Belegung des übergebenen Elements entspricht. Liefert null, wenn kein Element mit der entsprechenden Belegung existiert.

• public boolean deleteElement(DomainElement element)

  Löscht eine Element aus der Domäne. Sollte nur aus der Klasse Variable aufgerufen werden, denn u.U. ist der zu löschende Wert die aktuelle Belegung der Variable. Dies wird in Variable abgefangen. Liefert true, wenn das Entfernen erfolgreich war (Element war in der Domäne enthalten), false wenn nicht.

• public boolean containsElement(DomainElement element)

  Abfragemöglichkeit, ob ein bestimmtes Element in der Domäne enthalten ist.

• public boolean isEmpty()

  Liefert true wenn die Domäne leer ist, false wenn nicht.

• public int size()

  Liefert die Anzahl der Elemente in der Domäne.

• public boolean narrow(int operatorType, DomainElement element)

  Führt eine Beschränkung der Domäne durch, so dass sie nur noch das übergebene Element enthält. Liefert true wenn die Domäne eingeschränkt wurde (Element war enthalten), false wenn nicht. (Anm.: Die Angabe operatorType (bezogen auf den Operator: =, !=, <, >, <=, >=) wird derzeit an dieser Stelle ignoriert.)

• public String toString()

  Liefert die Domäne als String.

• public Object clone()

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

• public Domain cloneDeep()

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