yacs.domain
Class NumericFDElement

java.lang.Object
  extended byyacs.domain.DomainElement
      extended byyacs.domain.NumericFDElement
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Comparable, java.io.Serializable

public class NumericFDElement
extends DomainElement

Klasse zur Repräsentation von einzelnen Elementen für numerische finite Domänen. Der Wert eines Elements wird durch eine Instanz der Klasse Integer zum Ausdruck gebracht.

Copyright (C) 2005 Wolfgang Runte

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA

Version:
YACS 0.1.1
Author:
Wolfgang Runte (woru@tzi.org)
See Also:
Serialized Form

Constructor Summary
NumericFDElement(int value)
          Konstruktor -- Aus Gründen der Vereinfachung kann zur Instantiierung auch lediglich ein int-Wert angegeben werden.
NumericFDElement(java.lang.Integer value)
          Konstruktor -- Benötigt ein Integer-Objekt zur Instantiierung.
 
Method Summary
 DomainElement divide(DomainElement param)
          Methode zur Division zweier Elemente.
 boolean equals(DomainElement param)
          Liefert true, wenn das Element gleich dem übergebenen Element ist, false wenn nicht.
 java.lang.Object getValue()
          Liefert den Wert des Elements.
 boolean greaterAs(DomainElement param)
          Liefert true, wenn das Element größer als das übergebenen Element ist, false wenn nicht.
 boolean greaterEqualAs(DomainElement param)
          Liefert true, wenn das Element größer/gleich dem übergebenen Element ist, false wenn nicht.
 boolean lowerAs(DomainElement param)
          Liefert true, wenn das Element kleiner als das übergebenen Element ist, false wenn nicht.
 boolean lowerEqualAs(DomainElement param)
          Liefert true, wenn das Element kleiner/gleich dem übergebenen Element ist, false wenn nicht.
 DomainElement minus(DomainElement param)
          Methode zur Subtraktion zweier Elemente.
 boolean notEquals(DomainElement param)
          Liefert true, wenn das Element ungleich dem übergebenen Element ist, false wenn nicht.
 DomainElement plus(DomainElement param)
          Methode zur Addition zweier Elemente.
 DomainElement times(DomainElement param)
          Methode zur Multiplikation zweier Elemente.
 java.lang.String toString()
          Liefert die Belegung dieses Elements als String.
 DomainElement uminus()
          Liefert das Element mit negativem Vorzeichen.
 
Methods inherited from class yacs.domain.DomainElement
clone, cloneDeep, compareTo
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

NumericFDElement

public NumericFDElement(java.lang.Integer value)
Konstruktor -- Benötigt ein Integer-Objekt zur Instantiierung.

Parameters:
value - Integer

NumericFDElement

public NumericFDElement(int value)
Konstruktor -- Aus Gründen der Vereinfachung kann zur Instantiierung auch lediglich ein int-Wert angegeben werden.

Parameters:
value - int
Method Detail

getValue

public java.lang.Object getValue()
Description copied from class: DomainElement
Liefert den Wert des Elements.

Specified by:
getValue in class DomainElement
Returns:
Object

plus

public DomainElement plus(DomainElement param)
Description copied from class: DomainElement
Methode zur Addition zweier Elemente.

Specified by:
plus in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

minus

public DomainElement minus(DomainElement param)
Description copied from class: DomainElement
Methode zur Subtraktion zweier Elemente.

Specified by:
minus in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

times

public DomainElement times(DomainElement param)
Description copied from class: DomainElement
Methode zur Multiplikation zweier Elemente.

Specified by:
times in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

divide

public DomainElement divide(DomainElement param)
Description copied from class: DomainElement
Methode zur Division zweier Elemente.

Specified by:
divide in class DomainElement
Parameters:
param - DomainElement
Returns:
DomainElement

uminus

public DomainElement uminus()
Description copied from class: DomainElement
Liefert das Element mit negativem Vorzeichen.

Specified by:
uminus in class DomainElement
Returns:
DomainElement

equals

public boolean equals(DomainElement param)
Description copied from class: DomainElement
Liefert true, wenn das Element gleich dem übergebenen Element ist, false wenn nicht.

Specified by:
equals in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

notEquals

public boolean notEquals(DomainElement param)
Description copied from class: DomainElement
Liefert true, wenn das Element ungleich dem übergebenen Element ist, false wenn nicht.

Specified by:
notEquals in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

greaterAs

public boolean greaterAs(DomainElement param)
Description copied from class: DomainElement
Liefert true, wenn das Element größer als das übergebenen Element ist, false wenn nicht.

Specified by:
greaterAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

lowerAs

public boolean lowerAs(DomainElement param)
Description copied from class: DomainElement
Liefert true, wenn das Element kleiner als das übergebenen Element ist, false wenn nicht.

Specified by:
lowerAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

greaterEqualAs

public boolean greaterEqualAs(DomainElement param)
Description copied from class: DomainElement
Liefert true, wenn das Element größer/gleich dem übergebenen Element ist, false wenn nicht.

Specified by:
greaterEqualAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

lowerEqualAs

public boolean lowerEqualAs(DomainElement param)
Description copied from class: DomainElement
Liefert true, wenn das Element kleiner/gleich dem übergebenen Element ist, false wenn nicht.

Specified by:
lowerEqualAs in class DomainElement
Parameters:
param - DomainElement
Returns:
boolean

toString

public java.lang.String toString()
Description copied from class: DomainElement
Liefert die Belegung dieses Elements als String.

Specified by:
toString in class DomainElement
Returns:
String