E.4.4 Klasse IntervalDomainElement

Klasse zur Repräsentation von einzelnen ,,Elementen`` für reellwertige Intervall-Domänen. Mit einem Element ist in diesem Fall ein kontinuierliches (Teil-)Intervall gemeint. Diese Klasse stützt sich auf die in der Bibliothek IAMath von Timothy J. Hickey implementierte Intervallarithmetik.

Deklaration:

• public class IntervalDomainElement
  extends DomainElement

Konstruktoren:

• public IntervalDomainElement(RealInterval value)

  Benötigt ein RealInterval-Objekt zur Instantiierung.

• public IntervalDomainElement(Double lo, Double hi)

  Aus Gründen der Vereinfachung können zur Instantiierung auch zwei Double-Objekte als untere und obere Schranke des Intervalls angegeben werden.

• public IntervalDomainElement(double lo, double hi)

  Aus Gründen der Vereinfachung können zur Instantiierung auch lediglich zwei double-Werte als untere und obere Schranke des Intervalls angegeben werden.

Methoden:

• public double getLowerBound()

  Liefert die untere Schranke dieses Intervalls.

• public double getUpperBound()

  Liefert die obere Schranke dieses Intervalls.

• public void setLowerBound(double lowerBound)

  Setzt die untere Schranke dieses Intervalls.

• public void setUpperBound(double upperBound)

  Setzt die obere Schranke dieses Intervalls.

• public boolean contains(DomainElement param)

  Liefert true, wenn alle Werte des übergebenen Intervalls in diesem Intervall vollständig enthalten sind, false wenn nicht.