|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
RealIntervall übergeben werden muss.
lo) und obere Schranke (hi) des
Intervalls als Double-Objekt angegeben werden muss.
lo) und obere Schranke (hi) des
Intervalls als double-Wert angegeben werden muss.
Integer-Objekt übergeben werden muss.
int-Wert übergeben werden muss.
startValue) - "bis"
(endValue) hinzugefügt.
String übergeben werden muss.
Expression
hinzu.
yacs.domain.DomainElement) dieser
Lösung hinzu.
Expression).Expression).Integer-Objekt angegeben werden.
int-Wert angegeben werden.
Double-Objekte als untere und obere Schranke eines
Intervalls angegeben werden.
double-Werte als untere und obere Schranke
eines Intervalls angegeben werden.
Expression (ein Constraint-Teilproblem
generiert aus einem String mit Kommata-separierter Liste von
Constraint-Ausdrücken).
Expression
für das Teilproblem (inkl. der Variablen und Domänen sowie der primitiven
Constraints), die bisher gefundenen Lösungen sowie die Informationen über
die Konsistenz des Constraint-Netzes gelöscht.
this und rekursiv alle darin referenzierten Objekte mit
(die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).
this und rekursiv alle darin referenzierten Objekte mit
(die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).
this und rekursiv alle darin referenzierten Objekte mit
(die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).
TreeMap sortieren zu lassen.
true, wenn alle Werte des übergebenen Intervalls in
diesem Intervall vollständig enthalten sind, false wenn nicht.
int-Wert in der Domäne enthalten ist.
String) in der Domäne enthalten ist.
true) oder nicht (false).
true, wenn der Expression die Variable mit dem
übergebenen Namen enthält.
yacs.domain.DomainElement).
SymbolicFDElement mit der Belegung ""
(leerer String).
EOF Symbol index.
true, wenn das Element gleich dem übergebenen Element
ist, false wenn nicht.
true, wenn die obere und untere Schranke des
Intervalls jeweils identisch mit der des übergebenen Intervalls ist,
false wenn nicht.
Strings mit equals().
error Symbol index.
yacs.Solver.ConsistencySolver).
null wenn kein Constraint-Netz mit dieser
Strategie existiert.
null wenn kein Constraint-Netz mit dieser
Strategie existiert.
yacs.net.ConstraintNet).
yacs.net.ConstraintNet).
yacs.parser.Expression).
yacs.domain.Domain) des Teilproblems.
yacs.domain.DomainElement).
String).
yacs.Solver.PreprocessingSolver).
Expression).
yacs.Solver.SearchSolver).
yacs.net.Solution).
yacs.net.Strategy).
Strings)
der existierenden Constraint-Lösungsstrategien und entsprechend der
verfügbaren Constraint-Netze.
Strings)
der existierenden Constraint-Lösungsstrategien und entsprechend der
verfügbaren Constraint-Netze.
String).
yacs.parser.Variable), die sich in dem der übergebenen
Strategie zugehörigen Constraint-Netz befinden.
String).
yacs.parser.Variable), die sich in dem der übergebenen
Strategie zugehörigen Constraint-Netz befinden.
Strings) des Teilproblems.
true, wenn das Element größer als das übergebenen
Element ist, false wenn nicht.
true, wenn sämtliche Werte des Intervalls größer als
die des übergebenen Intervalls sind, false wenn nicht.
Strings lexikographisch mit
compareTo().
true, wenn das Element größer/gleich dem übergebenen
Element ist, false wenn nicht.
true, wenn die Werte des Intervalls größer/gleich dem
übergebenen Intervall sind, false wenn nicht.
Strings lexikographisch mit
compareTo().
String) sowie den Constraint-Ausdruck,
der diese Kante beinhaltet.
true, wenn die Domäne einer Variablen des der
übergebenen Strategie zugehörigen Teilproblems leer ist.
true, wenn die Domäne einer Variablen des der
übergebenen Strategie zugehörigen Teilproblems leer ist.
true, wenn die Domäne einer Variable des Teilproblems
leer ist.
true, wenn die Domäne einer Variable leer ist.
true, wenn für das der übergebenen Strategie
zugehörige Teilproblem bereits Lösungen gefunden wurden,
false wenn nicht.
true, wenn für das der übergebenen Strategie
zugehörige Teilproblem bereits Lösungen gefunden wurden,
false wenn nicht.
true, wenn für das Teilproblem bereits Lösungen
gefunden wurden, false wenn nicht.
true, wenn Lösungen existieren, false
wenn nicht.
true, wenn für das der übergebenen Strategie
zugehörige Teilproblem eine "valuation domain" vorliegt, d.h. in den
Domänen aller Variablen des Teilproblems ist jeweils genau ein Wert
enthalten.
true, wenn für das der übergebenen Strategie
zugehörige Teilproblem eine "valuation domain" vorliegt, d.h. in den
Domänen aller Variablen des Teilproblems ist jeweils genau ein Wert
enthalten.
true, wenn eine "valuation domain" vorliegt, d.h. in
den Domänen aller Variablen des Teilproblems ist jeweils genau ein Wert
enthalten.
true, wenn eine "valuation domain" vorliegt, d.h. in
den Domänen aller Variablen ist jeweils genau ein Wert enthalten.
RealInterval) instantiiert.
lo) und oberen
Schranke (hi) des Intervalls als Double-Objekt.
lo) und oberen
Schranke (hi) des Intervalls als double-Wert.
RealInterval-Objekt zur
Instantiierung.
Double-Objekte als untere und obere Schranke des
Intervalls angegeben werden.
double-Werte als untere und obere Schranke des
Intervalls angegeben werden.
true wenn die Domäne leer ist, false wenn
nicht.
InconsistencyException).
true, wenn das Element kleiner als das übergebenen
Element ist, false wenn nicht.
true, wenn sämtliche Werte des Intervalls kleiner als
die des übergebenen Intervalls sind, false wenn nicht.
Strings lexikographisch mit
compareTo().
true, wenn das Element kleiner/gleich dem übergebenen
Element ist, false wenn nicht.
true, wenn die Werte des Intervalls kleiner/gleich dem
übergebenen Intervall sind, false wenn nicht.
Strings lexikographisch mit
compareTo().
SymbolicFDElement, welches als Belegung den um
sämtliche Vorkommen des übergebenen Parameters reduzierten
String enthält.
Integer)
instantiiert.
int)
instantiiert.
startValue) - "bis"
(endValue).
Integer-Objekt zur Instantiierung.
int-Wert angegeben werden.
truen wenn der Wertebereich der Variable eingeschränkt
wurde.
true, wenn das Element ungleich dem übergebenen
Element ist, false wenn nicht.
true, wenn die obere oder untere Schranke des
Intervalls jeweils nicht identisch mit der des übergebenen Intervall ist,
false wenn nicht.
Strings mit !
SymbolicFDElement, welches als Belegung den um den
übergebenen Parameter ergänzten String enthält.
reduce_goto table.
yacs.net.Strategy) instantiiert.String)
instantiiert.
String-Objekt zur Instantiierung.
true) oder nicht (false).
SymbolicFDElement mit der Belegung ""
(leerer String).
String.
String (für Debugging).
String (für Debugging).
Expression).true) oder nicht
(false).
Expression).yacs_strategies.xml
gesucht.
strategyPath ist der Pfad zur der
XML-Datei, in der die Constraint-Lösungsstrategien spezifiziert sind.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||