E.4.7 Klasse SymbolicFDDomain

Klasse zur Repräsentation einer symbolischen finiten Domäne.

Deklaration:

• public class SymbolicFDDomain
  extends Domain

Konstruktoren:

• public SymbolicFDDomain()

  Instantiiert eine Domäne mit symbolischen FD-Elementen.

• public SymbolicFDDomain(String value)

  Die Domäne wird mit einem Wert (hier: String) instantiiert.

Methoden:

• public boolean add(String value)

  Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich ein String übergeben werden muss. Liefert true zurück, wenn dies erfolgreich war, false wenn nicht (Wert bereits vorhanden).

• public boolean contains(String value)

  Vereinfachte Abfragemöglichkeit, ob ein Element mit einem bestimmten Wert (hier: String) in der Domäne enthalten ist.