E.4.8 Klasse SymbolicFDElement

Klasse zur Repräsentation von einzelnen Elementen für symbolische finite Domänen. Der Wert eines Elements wird durch eine Instanz der Klasse String zum Ausdruck gebracht. Die Methoden dieser Klasse implementieren Operationen auf Strings, wie das Anhängen durch plus() oder Entfernen durch minus() eines Substrings an bzw. aus einem bestehenden String. Die Methoden times() und divide() sowie uminus() sind ,,Dummies``, die nur ein SymbolicFDElement mit der Belegung ``'' (leerer String) bzw. das bestehende Objekt zurückgeben. Die Vergleichsoperatoren entsprechen lexikographischen String-Vergleichen (equals() und compareTo()).

Deklaration:

• public class SymbolicFDElement
  extends DomainElement

Konstruktoren:

• public SymbolicFDElement(String value)

  Benötigt ein String-Objekt zur Instantiierung.