|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectyacs.solver.fdsolver.consistency.HyperArc
Hilfsklasse zur Beschreibung einer beliebigstelligen "Kante" für Algorithmen zur Herstellung von (Hyper-)Kantenkonsistenz. Eine Kante zwischen n Knoten entspricht einem n-stelligen Constraint, welches n Constraint-Variablen beschränkt.
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 | |
HyperArc()
Konstruktor -- Instantiiert die Hyperkante. |
|
HyperArc(java.util.List nodes,
Expression expr)
Konstruktor -- Benötigt eine Liste mit den Knoten der Kante (enthält Instanzen der Klasse String ) sowie den Constraint-Ausdruck,
der diese Kante beinhaltet. |
Method Summary | |
Expression |
expression()
Liefert den Constraint-Ausdruck, zu dem diese Kante gehört. |
Domain |
getDomain(java.lang.String node)
Liefert die jeweilige Domäne zum übergebenen Knoten. |
java.util.List |
getNodes()
Liefert eine "unmodifizierbare" Liste mit den Knoten der Kante (enthält Instanzen der Klasse String ). |
java.lang.String |
toString()
Liefert die Kante als String (für Debugging). |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public HyperArc()
public HyperArc(java.util.List nodes, Expression expr)
String
) sowie den Constraint-Ausdruck,
der diese Kante beinhaltet.
Method Detail |
public java.util.List getNodes()
String
).
public Domain getDomain(java.lang.String node)
node
- String
public Expression expression()
public java.lang.String toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |