E.4.2 Abstrakte Klasse DomainElement

Abstrakte Klasse zur Repräsentation von einzelnen Werten einer Domäne einer Constraint-Variable. Implementierungen dieser Klasse können z.B. Elemente für numerische finite Domänen, symbolische finite Domänen oder reellwertige Intervall-Domänen sein.

Deklaration:

• public abstract class DomainElement
  implements Comparable, Cloneable, Serializable

Konstruktoren:

• public DomainElement()

Methoden:

• public abstract Object getValue()

  Liefert den Wert des Elements.

• public abstract DomainElement plus(DomainElement param)

  Methode zur Addition zweier Elemente.

• public abstract DomainElement minus(DomainElement param)

  Methode zur Subtraktion zweier Elemente.

• public abstract DomainElement times(DomainElement param)

  Methode zur Multiplikation zweier Elemente.

• public abstract DomainElement divide(DomainElement param)

  Methode zur Division zweier Elemente.

• public abstract DomainElement uminus()

  Liefert das Element mit negativem Vorzeichen.

• public abstract boolean equals(DomainElement param)

  Liefert true, wenn das Element gleich dem übergebenen Element ist, false wenn nicht.

• public abstract boolean notEquals(DomainElement param)

  Liefert true, wenn das Element ungleich dem übergebenen Element ist, false wenn nicht.

• public abstract boolean greaterAs(DomainElement param)

  Liefert true, wenn das Element größer als das übergebenen Element ist, false wenn nicht.

• public abstract boolean lowerAs(DomainElement param)

  Liefert true, wenn das Element kleiner als das übergebenen Element ist, false wenn nicht.

• public abstract boolean greaterEqualAs(DomainElement param)

  Liefert true, wenn das Element größer/gleich dem übergebenen Element ist, false wenn nicht.

• public abstract boolean lowerEqualAs(DomainElement param)

  Liefert true, wenn das Element kleiner/gleich dem übergebenen Element ist, false wenn nicht.

• public abstract String toString()

  Liefert die Belegung dieses Elements als String.

• public int compareTo(Object param)

  Bietet die Möglichkeit Instanzen dieser Klasse innerhalb einer TreeMap sortieren zu lassen. Hierfür ist außerdem erforderlich, dass diese Klasse das Interface Comparable implementiert.

• public Object clone()

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

• public DomainElement cloneDeep()

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