|
||||||||||
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
- intMethod Detail |
public java.lang.Object getValue()
DomainElement
getValue
in class DomainElement
public DomainElement plus(DomainElement param)
DomainElement
plus
in class DomainElement
param
- DomainElement
public DomainElement minus(DomainElement param)
DomainElement
minus
in class DomainElement
param
- DomainElement
public DomainElement times(DomainElement param)
DomainElement
times
in class DomainElement
param
- DomainElement
public DomainElement divide(DomainElement param)
DomainElement
divide
in class DomainElement
param
- DomainElement
public DomainElement uminus()
DomainElement
uminus
in class DomainElement
public boolean equals(DomainElement param)
DomainElement
true
, wenn das Element gleich dem übergebenen Element
ist, false
wenn nicht.
equals
in class DomainElement
param
- DomainElement
public boolean notEquals(DomainElement param)
DomainElement
true
, wenn das Element ungleich dem übergebenen
Element ist, false
wenn nicht.
notEquals
in class DomainElement
param
- DomainElement
public boolean greaterAs(DomainElement param)
DomainElement
true
, wenn das Element größer als das übergebenen
Element ist, false
wenn nicht.
greaterAs
in class DomainElement
param
- DomainElement
public boolean lowerAs(DomainElement param)
DomainElement
true
, wenn das Element kleiner als das übergebenen
Element ist, false
wenn nicht.
lowerAs
in class DomainElement
param
- DomainElement
public boolean greaterEqualAs(DomainElement param)
DomainElement
true
, wenn das Element größer/gleich dem übergebenen
Element ist, false
wenn nicht.
greaterEqualAs
in class DomainElement
param
- DomainElement
public boolean lowerEqualAs(DomainElement param)
DomainElement
true
, wenn das Element kleiner/gleich dem übergebenen
Element ist, false
wenn nicht.
lowerEqualAs
in class DomainElement
param
- DomainElement
public java.lang.String toString()
DomainElement
String
.
toString
in class DomainElement
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |