|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectyacs.domain.DomainElement
yacs.domain.NumericFDElement
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
| 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 |
public NumericFDElement(java.lang.Integer value)
Integer-Objekt zur Instantiierung.
value - Integerpublic NumericFDElement(int value)
int-Wert angegeben werden.
value - int| Method Detail |
public java.lang.Object getValue()
DomainElement
getValue in class DomainElementpublic DomainElement plus(DomainElement param)
DomainElement
plus in class DomainElementparam - DomainElement
public DomainElement minus(DomainElement param)
DomainElement
minus in class DomainElementparam - DomainElement
public DomainElement times(DomainElement param)
DomainElement
times in class DomainElementparam - DomainElement
public DomainElement divide(DomainElement param)
DomainElement
divide in class DomainElementparam - DomainElement
public DomainElement uminus()
DomainElement
uminus in class DomainElementpublic boolean equals(DomainElement param)
DomainElementtrue, wenn das Element gleich dem übergebenen Element
ist, false wenn nicht.
equals in class DomainElementparam - DomainElement
public boolean notEquals(DomainElement param)
DomainElementtrue, wenn das Element ungleich dem übergebenen
Element ist, false wenn nicht.
notEquals in class DomainElementparam - DomainElement
public boolean greaterAs(DomainElement param)
DomainElementtrue, wenn das Element größer als das übergebenen
Element ist, false wenn nicht.
greaterAs in class DomainElementparam - DomainElement
public boolean lowerAs(DomainElement param)
DomainElementtrue, wenn das Element kleiner als das übergebenen
Element ist, false wenn nicht.
lowerAs in class DomainElementparam - DomainElement
public boolean greaterEqualAs(DomainElement param)
DomainElementtrue, wenn das Element größer/gleich dem übergebenen
Element ist, false wenn nicht.
greaterEqualAs in class DomainElementparam - DomainElement
public boolean lowerEqualAs(DomainElement param)
DomainElementtrue, wenn das Element kleiner/gleich dem übergebenen
Element ist, false wenn nicht.
lowerEqualAs in class DomainElementparam - DomainElement
public java.lang.String toString()
DomainElementString.
toString in class DomainElement
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||