|
||||||||||
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.
true
n 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 |