|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectyacs.domain.Domain
Klasse zur Repräsentation der Domäne einer Constraint-Variablen.
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 | |
Domain()
Konstruktor -- Instantiiert die Domäne. |
|
Domain(DomainElement element)
Konstruktor -- Die Domäne wird mit einem Element instantiiert. |
|
Domain(java.util.List domain)
Konstruktor -- Die Domäne wird mit einer Liste mit Elementen instantiiert (Instanzen des Interface yacs.domain.DomainElement ). |
Method Summary | |
boolean |
add(DomainElement element)
Der Domäne wird ein Element hinzugefügt, wenn sein Wert noch nicht vorhanden ist. |
java.lang.Object |
clone()
Liefert eine Kopie dieses Objekts. |
Domain |
cloneDeep()
Klont this und rekursiv alle darin referenzierten Objekte mit
(die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten). |
boolean |
containsElement(DomainElement element)
Abfragemöglichkeit, ob ein bestimmtes Element in der Domäne enthalten ist. |
boolean |
deleteElement(DomainElement element)
Löscht eine Element aus der Domäne. |
DomainElement |
getElement(DomainElement element)
Liefert eine Referenz auf das in dieser Domäne vorhandene Element, welches der Belegung des übergebenen Elements entspricht. |
java.util.List |
getElements()
Liefert eine "unmodifizierbare" Liste mit den Elementen der Domäne (Instanzen des Interface yacs.domain.DomainElement ). |
boolean |
isEmpty()
Liefert true wenn die Domäne leer ist, false wenn
nicht. |
boolean |
narrow(int operatorType,
DomainElement element)
Führt eine Beschränkung der Domäne durch, so dass sie nur noch das übergebene Element enthält. |
int |
size()
Liefert die Anzahl der Elemente in der Domäne. |
java.lang.String |
toString()
Liefert die Domäne als String. |
boolean |
update(DomainElement element)
Aktualisiert den Wert für das übergebene Element in der Domäne. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public Domain()
public Domain(DomainElement element)
element
- DomainElementpublic Domain(java.util.List domain)
yacs.domain.DomainElement
).
domain
- ListMethod Detail |
public boolean add(DomainElement element)
true
zurück, wenn dies erfolgreich war,
false
wenn nicht (Wert bereits vorhanden).
element
- DomainElementpublic boolean update(DomainElement element)
element
- DomainElement
public java.util.List getElements()
yacs.domain.DomainElement
).
public DomainElement getElement(DomainElement element)
null
, wenn kein Element mit der entsprechenden Belegung
existiert.
public boolean deleteElement(DomainElement element)
Variable
aufgerufen werden, denn u.U. ist der zu löschende
Wert die aktuelle Belegung der Variable. Dies wird in Variable
abgefangen. Liefert true
, wenn das Entfernen erfolgreich war
(Element war in der Domäne enthalten), false
wenn nicht.
element
- DomainElement
public boolean containsElement(DomainElement element)
element
- DomainElement
public boolean isEmpty()
true
wenn die Domäne leer ist, false
wenn
nicht.
public int size()
public boolean narrow(int operatorType, DomainElement element)
true
wenn die Domäne
eingeschränkt wurde (Element war enthalten), false
wenn nicht.
(Anm.: Die Angabe operatorType
(bezogen auf den Operator:
"=", "!=", "<", ">", "<=", ">=") wird derzeit an dieser Stelle ignoriert.)
operatorType
- intelement
- DomainElement
public java.lang.String toString()
public java.lang.Object clone()
public Domain cloneDeep()
this
und rekursiv alle darin referenzierten Objekte mit
(die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |