A B C D E F G H I L M N O P R S T U V Y

A

AC3Solver - class yacs.solver.fdsolver.consistency.AC3Solver.
Einfacher Solver zum Herstellen von Kantenkonsistenz über finite Domänen mittels AC-3 nach Mackworth (1977, S. 106).
AC3Solver() - Constructor for class yacs.solver.fdsolver.consistency.AC3Solver
 
ACSolver - class yacs.solver.fdsolver.consistency.ACSolver.
Einfacher Algorithmus zum Herstellen von Kantenkonsistenz über finite Domänen nach Marriott und Stuckey (1999, S. 94).
ACSolver() - Constructor for class yacs.solver.fdsolver.consistency.ACSolver
 
action_table() - Method in class yacs.parser.parser
Access to parse-action table.
add(DomainElement) - Method in class yacs.domain.Domain
Der Domäne wird ein Element hinzugefügt, wenn sein Wert noch nicht vorhanden ist.
add(DomainElement) - Method in class yacs.domain.IntervalDomain
Der Domäne wird ein Element hinzugefügt.
add(RealInterval) - Method in class yacs.domain.IntervalDomain
Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich ein RealIntervall übergeben werden muss.
add(Double, Double) - Method in class yacs.domain.IntervalDomain
Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich die untere (lo) und obere Schranke (hi) des Intervalls als Double-Objekt angegeben werden muss.
add(double, double) - Method in class yacs.domain.IntervalDomain
Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich die untere (lo) und obere Schranke (hi) des Intervalls als double-Wert angegeben werden muss.
add(Integer) - Method in class yacs.domain.NumericFDDomain
Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich ein Integer-Objekt übergeben werden muss.
add(int) - Method in class yacs.domain.NumericFDDomain
Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich ein int-Wert übergeben werden muss.
add(int, int) - Method in class yacs.domain.NumericFDDomain
Der Domäne wird ein Bereich "von" (startValue) - "bis" (endValue) hinzugefügt.
add(String) - Method in class yacs.domain.SymbolicFDDomain
Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich ein String übergeben werden muss.
addConstraint(String, String) - Method in interface yacs.YacsConstraintManager
Mit dieser Methoden kann ein Constraint inkrementell dem Lösungsprozess zugeführt werden.
addConstraint(String, String) - Method in class yacs.YacsConstraintManagerImpl
Mit dieser Methoden kann ein Constraint inkrementell dem Lösungsprozess zugeführt werden.
addConstraint(Expression) - Method in class yacs.net.ConstraintNet
Fügt ein Constraint dem vorhandenen Constraint-Expression hinzu.
addConstraints(String, String) - Method in interface yacs.YacsConstraintManager
Mit dieser Methoden können mehrere Constraints gleichzeitig bzw. ein Teilproblem inkrementell dem Lösungsprozess zugeführt werden.
addConstraints(String, String) - Method in class yacs.YacsConstraintManagerImpl
Mit dieser Methoden können mehrere Constraints gleichzeitig bzw. ein Teilproblem inkrementell dem Lösungsprozess zugeführt werden.
addSolution(Solution) - Method in class yacs.net.ConstraintNet
Fügt diesem Teilproblem eine Lösungen hinzu.
addSolution(Solution) - Method in class yacs.net.Solutions
Fügt die übergebene Lösung den vorhandenen hinzu, wenn sie nicht bereits enthalten ist.
addVariable(String, DomainElement) - Method in class yacs.net.Solution
Fügt die übergebene Variable (String) mit der angegebenen Wertebelegung (Instanz des Interface yacs.domain.DomainElement) dieser Lösung hinzu.
addVariablesMap(HashMap) - Method in class yacs.parser.parser
Hinzufügen bereits vorhandener Variablen.
arcSolve(Expression) - Method in class yacs.solver.fdsolver.consistency.AC3Solver
Einfacher Constraint-Solver, der Kantenkonsistenz mittels AC-3 herstellt.
arcSolve(Expression) - Method in class yacs.solver.fdsolver.consistency.ACSolver
Einfacher Algorithmus zum Herstellen von Kantenkonsistenz.

B

BacktrackingSolver - class yacs.solver.fdsolver.search.BacktrackingSolver.
Einfacher Backtracking-Solver zur Lösungssuche in einem Constraint-Problem mit finiten Domänen nach Dechter und Frost (1998, S. 13) bzw.
BacktrackingSolver() - Constructor for class yacs.solver.fdsolver.search.BacktrackingSolver
 
BinaryArc - class yacs.solver.fdsolver.consistency.BinaryArc.
Hilfsklasse zur Beschreibung einer "Kante" für binäre Algorithmen zur Herstellung von Kantenkonsistenz.
BinaryArc(String, String, Expression) - Constructor for class yacs.solver.fdsolver.consistency.BinaryArc
Konstruktor -- Benötigt den Start- und Endknoten der Kante sowie den Constraint-Ausdruck, der diese Kante beinhaltet.
BinaryOperator - class yacs.parser.BinaryOperator.
Klasse zur Repräsentation eines binären Operators innerhalb einer rekursiven Struktur zur Repräsentation eines algebraischen Constraint-Problems (Dokumentation siehe Expression).
BinaryOperator(int, String, Expression, Expression) - Constructor for class yacs.parser.BinaryOperator
Konstruktor -- Instantiiert den Operator mit seinem Typ, seinem "Namen" und den beiden zugehörigen Constraint-Ausdrücken.

C

COMMA - Static variable in class yacs.parser.sym
 
ConsistencySolver - class yacs.solver.ConsistencySolver.
Abstrakte Klasse für Constraint-Solver mit Verfahren zur Herstellung eines speziellen Konsistenzgrades.
ConsistencySolver() - Constructor for class yacs.solver.ConsistencySolver
 
Constant - class yacs.parser.Constant.
Klasse zur Repräsentation einer Konstante innerhalb einer rekursiven Struktur zur Repräsentation eines algebraischen Constraint-Problems (Dokumentation siehe Expression).
Constant(DomainElement) - Constructor for class yacs.parser.Constant
Konstruktor -- Instantiierung der Konstante mit ihrer Belegung.
Constant(Integer) - Constructor for class yacs.parser.Constant
Konstruktor -- Aus Gründen der Vereinfachung kann zur Instantiierung auch ein Integer-Objekt angegeben werden.
Constant(int) - Constructor for class yacs.parser.Constant
Konstruktor -- Aus Gründen der Vereinfachung kann zur Instantiierung auch lediglich ein int-Wert angegeben werden.
Constant(Double, Double) - Constructor for class yacs.parser.Constant
Konstruktor -- Aus Gründen der Vereinfachung können zur Instantiierung auch zwei Double-Objekte als untere und obere Schranke eines Intervalls angegeben werden.
Constant(double, double) - Constructor for class yacs.parser.Constant
Konstruktor -- Aus Gründen der Vereinfachung können zur Instantiierung auch lediglich zwei double-Werte als untere und obere Schranke eines Intervalls angegeben werden.
ConstraintNet - class yacs.net.ConstraintNet.
Klasse zur Repräsentation des Constraint-Netzes eines Teilproblems innerhalb von YACS.
ConstraintNet(Strategy) - Constructor for class yacs.net.ConstraintNet
Konstruktor -- Das Constraint-Netz muss mit einer zugehörigen Strategie instantiiert werden, die für die Verarbeitung der Constraints verwendet wird.
ConstraintNet(Strategy, Expression) - Constructor for class yacs.net.ConstraintNet
Konstruktor -- Benötigt die zugehörige Strategie und ein oder mehrere Constraints als Expression (ein Constraint-Teilproblem generiert aus einem String mit Kommata-separierter Liste von Constraint-Ausdrücken).
ConstraintParserException - exception yacs.exceptions.ConstraintParserException.
Diese Exception wird von YACS ausgelöst, wenn beim Parsen eines Constraints ein Fehler auftritt.
ConstraintParserException() - Constructor for class yacs.exceptions.ConstraintParserException
 
ConstraintParserException(String) - Constructor for class yacs.exceptions.ConstraintParserException
 
clear() - Method in class yacs.net.ConstraintNet
Initialisiert das Constraint-Netz, d.h. es wird der 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.
clone() - Method in class yacs.domain.Domain
Liefert eine Kopie dieses Objekts.
clone() - Method in class yacs.domain.DomainElement
Liefert eine Kopie dieses Objekts.
clone() - Method in class yacs.parser.Expression
Liefert eine Kopie dieses Objekts.
cloneDeep() - Method in class yacs.domain.Domain
Klont this und rekursiv alle darin referenzierten Objekte mit (die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).
cloneDeep() - Method in class yacs.domain.DomainElement
Klont this und rekursiv alle darin referenzierten Objekte mit (die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).
cloneDeep() - Method in class yacs.parser.Expression
Klont this und rekursiv alle darin referenzierten Objekte mit (die Selbheit indirekt mehrfach referenzierter Objekte bleibt erhalten).
compareTo(Object) - Method in class yacs.domain.DomainElement
Bietet die Möglichkeit Instanzen dieser Klasse innerhalb einer TreeMap sortieren zu lassen.
contains(DomainElement) - Method in class yacs.domain.IntervalDomainElement
Liefert true, wenn alle Werte des übergebenen Intervalls in diesem Intervall vollständig enthalten sind, false wenn nicht.
contains(int) - Method in class yacs.domain.NumericFDDomain
Vereinfachte Abfragemöglichkeit, ob ein Element mit einem bestimmten int-Wert in der Domäne enthalten ist.
contains(String) - Method in class yacs.domain.SymbolicFDDomain
Vereinfachte Abfragemöglichkeit, ob ein Element mit einem bestimmten Wert (hier: String) in der Domäne enthalten ist.
containsElement(DomainElement) - Method in class yacs.domain.Domain
Abfragemöglichkeit, ob ein bestimmtes Element in der Domäne enthalten ist.
containsSolution(Solution) - Method in class yacs.net.Solutions
Überprüft, ob die übergebene Lösung bereits enthalten ist (true) oder nicht (false).
containsVariable(String) - Method in class yacs.parser.BinaryOperator
 
containsVariable(String) - Method in class yacs.parser.Constant
 
containsVariable(String) - Method in class yacs.parser.Expression
Liefert true, wenn der Expression die Variable mit dem übergebenen Namen enthält.
containsVariable(String) - Method in class yacs.parser.UnaryOperator
 
containsVariable(String) - Method in class yacs.parser.Variable
 
count(String) - Method in class yacs.parser.BinaryOperator
 
count(String) - Method in class yacs.parser.Constant
 
count(String) - Method in class yacs.parser.Expression
Liefert den "Vernetzungsgrad" einer Variablen innerhalb des Constraint-Problems, d.h. dem Grad ihres Vorkommens in den Constraints.
count(String) - Method in class yacs.parser.UnaryOperator
 
count(String) - Method in class yacs.parser.Variable
 

D

DIVIDE - Static variable in class yacs.parser.sym
 
DomDegRatioVariableOrdering - class yacs.solver.fdsolver.search.DomDegRatioVariableOrdering.
Generiert auf Basis des "Fail-First"-Prinzips (FF) und der "Maximum-Degree-Ordering"-Heuristik (MDO) eine Reihenfolge für die Belegung von Variablen während einer Lösungssuche (vgl.
DomDegRatioVariableOrdering() - Constructor for class yacs.solver.fdsolver.search.DomDegRatioVariableOrdering
 
Domain - class yacs.domain.Domain.
Klasse zur Repräsentation der Domäne einer Constraint-Variablen.
Domain() - Constructor for class yacs.domain.Domain
Konstruktor -- Instantiiert die Domäne.
Domain(DomainElement) - Constructor for class yacs.domain.Domain
Konstruktor -- Die Domäne wird mit einem Element instantiiert.
Domain(List) - Constructor for class yacs.domain.Domain
Konstruktor -- Die Domäne wird mit einer Liste mit Elementen instantiiert (Instanzen des Interface yacs.domain.DomainElement).
DomainElement - class yacs.domain.DomainElement.
Abstrakte Klasse zur Repräsentation von einzelnen Werten einer Domäne einer Constraint-Variable.
DomainElement() - Constructor for class yacs.domain.DomainElement
 
deleteElement(DomainElement) - Method in class yacs.domain.Domain
Löscht eine Element aus der Domäne.
deleteValue(DomainElement) - Method in class yacs.parser.Variable
Entfernt das übergebene Element aus der Domäne der Variablen.
divide(DomainElement) - Method in class yacs.domain.DomainElement
Methode zur Division zweier Elemente.
divide(DomainElement) - Method in class yacs.domain.IntervalDomainElement
 
divide(DomainElement) - Method in class yacs.domain.NumericFDElement
 
divide(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Dummy, liefert immer ein SymbolicFDElement mit der Belegung "" (leerer String).
do_action(int, lr_parser, Stack, int) - Method in class yacs.parser.parser
Invoke a user supplied parse action.

E

EOF - Static variable in class yacs.parser.sym
 
EOF_sym() - Method in class yacs.parser.parser
EOF Symbol index.
EQUAL - Static variable in class yacs.parser.sym
 
Expression - class yacs.parser.Expression.
Abstrakte Klasse für eine rekursive Struktur zur Repräsentation eines algebraischen Constraint-Problems.
Expression() - Constructor for class yacs.parser.Expression
 
endDomain() - Method in class yacs.solver.fdsolver.consistency.BinaryArc
Liefert die Domäne des Endknotens.
endNode() - Method in class yacs.solver.fdsolver.consistency.BinaryArc
Liefert den Endknoten der Kanten.
equals(DomainElement) - Method in class yacs.domain.DomainElement
Liefert true, wenn das Element gleich dem übergebenen Element ist, false wenn nicht.
equals(DomainElement) - Method in class yacs.domain.IntervalDomainElement
Liefert true, wenn die obere und untere Schranke des Intervalls jeweils identisch mit der des übergebenen Intervalls ist, false wenn nicht.
equals(DomainElement) - Method in class yacs.domain.NumericFDElement
 
equals(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Vergleicht die Strings mit equals().
equals(Solution) - Method in class yacs.net.Solution
Überprüft, ob die übergebene Lösung identisch mit der aktuellen ist.
error - Static variable in class yacs.parser.sym
 
error_sym() - Method in class yacs.parser.parser
error Symbol index.
evaluate() - Method in interface yacs.YacsConstraintManager
Startet den Constraint-Lösungsvorgang.
evaluate() - Method in class yacs.YacsConstraintManagerImpl
Startet den Constraint-Lösungsvorgang.
evaluate() - Method in class yacs.parser.BinaryOperator
 
evaluate() - Method in class yacs.parser.Constant
 
evaluate() - Method in class yacs.parser.Expression
Wertet den Constraint-Ausdruck aus.
evaluate() - Method in class yacs.parser.UnaryOperator
 
evaluate() - Method in class yacs.parser.Variable
 
evaluate(ConstraintNet) - Method in class yacs.solver.ConsistencySolver
Methode zur Initiierung des Lösungsprozesses des jeweiligen Constraint-Solvers.
evaluate(ConstraintNet) - Method in class yacs.solver.PreprocessingSolver
Methode zur Initiierung des Lösungsprozesses des jeweiligen Constraint-Solvers.
evaluate(ConstraintNet) - Method in class yacs.solver.SearchSolver
Methode zur Initiierung des Lösungsprozesses des jeweiligen Constraint-Solvers.
evaluate(ConstraintNet) - Method in interface yacs.solver.Solver
Methode zur Initiierung des Lösungsprozesses des jeweiligen Constraint-Solvers.
expression() - Method in class yacs.parser.parser
Gibt den gescannten und geparsten Ausdruck als Expression zurück.
expression() - Method in class yacs.solver.fdsolver.consistency.HyperArc
Liefert den Constraint-Ausdruck, zu dem diese Kante gehört.

F

FLOAT - Static variable in class yacs.parser.sym
 

G

GREATER - Static variable in class yacs.parser.sym
 
GREATER_EQUAL - Static variable in class yacs.parser.sym
 
get(String) - Method in class yacs.parser.BinaryOperator
 
get(String) - Method in class yacs.parser.Constant
 
get(String) - Method in class yacs.parser.Expression
Liefert die Wertebelegung der übergebenen Variable.
get(String) - Method in class yacs.parser.UnaryOperator
 
get(String) - Method in class yacs.parser.Variable
 
getConsistencySolvers() - Method in class yacs.net.Strategy
Liefert die Liste der in dieser Strategie spezifizierten Constraint-Solver zur Konsistenzherstellung (enthält Instanzen der Klasse yacs.Solver.ConsistencySolver).
getConstraintNet(String) - Method in interface yacs.YacsConstraintManager
Liefert das entsprechende Constraint-Netz zu dem übergebenen Strategienamen, null wenn kein Constraint-Netz mit dieser Strategie existiert.
getConstraintNet(String) - Method in class yacs.YacsConstraintManagerImpl
Liefert das entsprechende Constraint-Netz zu dem übergebenen Strategienamen, null wenn kein Constraint-Netz mit dieser Strategie existiert.
getConstraintNets() - Method in interface yacs.YacsConstraintManager
Liefert eine "unmodifizierbare" Liste mit verfügbaren Constraint-Netzen (enthält Instanzen der Klasse yacs.net.ConstraintNet).
getConstraintNets() - Method in class yacs.YacsConstraintManagerImpl
Liefert eine "unmodifizierbare" Liste mit verfügbaren Constraint-Netzen (enthält Instanzen der Klasse yacs.net.ConstraintNet).
getConstraints() - Method in class yacs.net.ConstraintNet
Liefert eine Liste der in diesem Teilproblem enthaltenen (primitiven) Constraints (enthält Instanzen der Klasse yacs.parser.Expression).
getDomain(String) - Method in class yacs.net.ConstraintNet
Liefert die entsprechende Domäne zur übergebenen Variable.
getDomain(String) - Method in class yacs.parser.BinaryOperator
 
getDomain(String) - Method in class yacs.parser.Constant
 
getDomain(String) - Method in class yacs.parser.Expression
Liefert die Domäne der übergebenen Variable.
getDomain(String) - Method in class yacs.parser.UnaryOperator
 
getDomain() - Method in class yacs.parser.Variable
Liefert die zugehörige Domäne der Variablen.
getDomain(String) - Method in class yacs.parser.Variable
 
getDomain(String) - Method in class yacs.solver.fdsolver.consistency.HyperArc
Liefert die jeweilige Domäne zum übergebenen Knoten.
getDomains() - Method in class yacs.net.ConstraintNet
Erzeugt und liefert eine "unmodifizierbare" Liste aller Domänen (Instanzen der der Klasse yacs.domain.Domain) des Teilproblems.
getElement(DomainElement) - Method in class yacs.domain.Domain
Liefert eine Referenz auf das in dieser Domäne vorhandene Element, welches der Belegung des übergebenen Elements entspricht.
getElements() - Method in class yacs.domain.Domain
Liefert eine "unmodifizierbare" Liste mit den Elementen der Domäne (Instanzen des Interface yacs.domain.DomainElement).
getLowerBound() - Method in class yacs.domain.IntervalDomain
Liefert die untere Schranke dieser Intervalldomäne.
getLowerBound() - Method in class yacs.domain.IntervalDomainElement
Liefert die untere Schranke dieses Intervalls.
getName() - Method in class yacs.parser.Variable
Liefert den Namen der Variablen.
getNodes() - Method in class yacs.solver.fdsolver.consistency.HyperArc
Liefert eine "unmodifizierbare" Liste mit den Knoten der Kante (enthält Instanzen der Klasse String).
getOrdering(ConstraintNet) - Method in class yacs.solver.fdsolver.search.DomDegRatioVariableOrdering
Generiert eine dom/deg-Ordnung für die Variablen des übergebenen Constraint-Netzes.
getPreprocessingSolvers() - Method in class yacs.net.Strategy
Liefert die Liste der in dieser Strategie spezifizierten Constraint-Solver zum Preprozessing (enthält Instanzen der Klasse yacs.Solver.PreprocessingSolver).
getPrimitiveExpressions() - Method in class yacs.parser.BinaryOperator
 
getPrimitiveExpressions() - Method in class yacs.parser.Constant
 
getPrimitiveExpressions() - Method in class yacs.parser.Expression
Liefert die einzelnen "Primärausdrücke" des Constraint-Problems innerhalb einer Liste (enthält Instanzen des Interface Expression).
getPrimitiveExpressions() - Method in class yacs.parser.UnaryOperator
 
getPrimitiveExpressions() - Method in class yacs.parser.Variable
 
getSearchSolvers() - Method in class yacs.net.Strategy
Liefert die Liste der in dieser Strategie spezifizierten Constraint-Solver zur Lösungssuche (enthält Instanzen der Klasse yacs.Solver.SearchSolver).
getSolutions(String) - Method in interface yacs.YacsConstraintManager
Liefert die ggf. bereits gefundenen Lösungen für das der übergebenen Strategie zugehörige Teilproblem.
getSolutions(String) - Method in class yacs.YacsConstraintManagerImpl
Liefert die ggf. bereits gefundenen Lösungen für das der übergebenen Strategie zugehörige Teilproblem.
getSolutions() - Method in class yacs.net.ConstraintNet
Liefert die bereits gefundenen Lösungen für dieses Teilproblem.
getSolutions() - Method in class yacs.net.Solutions
Liefert eine "unmodifizierbare" Liste mit den enthaltenen Lösungen (Instanzen der Klassse yacs.net.Solution).
getStrategies() - Method in class yacs.net.StrategyReader
Liefert die eingelesenen Strategien als Liste (enthält Instanzen der Klasse yacs.net.Strategy).
getStrategyName() - Method in class yacs.net.ConstraintNet
Liefert den Namen der zu diesem Teilproblem gehörigen Constraint-Lösungsstrategie.
getStrategyName() - Method in class yacs.net.Strategy
Liefert den Namen der Constraint-Lösungsstragie.
getStrategyNames() - Method in interface yacs.YacsConstraintManager
Liefert eine "unmodifizierbare" Liste mit den Namen (Strings) der existierenden Constraint-Lösungsstrategien und entsprechend der verfügbaren Constraint-Netze.
getStrategyNames() - Method in class yacs.YacsConstraintManagerImpl
Liefert eine "unmodifizierbare" Liste mit den Namen (Strings) der existierenden Constraint-Lösungsstrategien und entsprechend der verfügbaren Constraint-Netze.
getSubproblem() - Method in class yacs.net.ConstraintNet
Liefert das Constraint-Teilproblem bzw. den Constraint-Ausdruck.
getUnsetVariables() - Method in class yacs.parser.BinaryOperator
 
getUnsetVariables() - Method in class yacs.parser.Constant
 
getUnsetVariables() - Method in class yacs.parser.Expression
Liefert eine Liste mit den Namen der noch unbelegten Variablen.
getUnsetVariables() - Method in class yacs.parser.UnaryOperator
 
getUnsetVariables() - Method in class yacs.parser.Variable
 
getUpperBound() - Method in class yacs.domain.IntervalDomain
Liefert die obere Schranke dieser Intervalldomäne.
getUpperBound() - Method in class yacs.domain.IntervalDomainElement
Liefert die obere Schranke dieses Intervalls.
getValue() - Method in class yacs.domain.DomainElement
Liefert den Wert des Elements.
getValue() - Method in class yacs.domain.IntervalDomainElement
 
getValue() - Method in class yacs.domain.NumericFDElement
 
getValue() - Method in class yacs.domain.SymbolicFDElement
 
getValue(String) - Method in class yacs.net.Solution
Liefert die Wertebelegung der übergebenen Variable in dieser Lösung.
getValue() - Method in class yacs.parser.Variable
Liefert die Wertebelegung der Variable.
getVariableDomain(String) - Method in interface yacs.YacsConstraintManager
Liefert die entsprechende Domäne zur übergebenen Variable.
getVariableDomain(String) - Method in class yacs.YacsConstraintManagerImpl
Liefert die entsprechende Domäne zur übergebenen Variable.
getVariableReference(String) - Method in class yacs.parser.BinaryOperator
 
getVariableReference(String) - Method in class yacs.parser.Constant
 
getVariableReference(String) - Method in class yacs.parser.Expression
Liefert die Referenz auf die Variable mit dem übergebenen Namen.
getVariableReference(String) - Method in class yacs.parser.UnaryOperator
 
getVariableReference(String) - Method in class yacs.parser.Variable
 
getVariables() - Method in interface yacs.YacsConstraintManager
Liefert eine Liste mit den Namen aller Variablen sämtlicher vorhandenen Constraint-Netze (enthält Instanzen der Klasse String).
getVariables(String) - Method in interface yacs.YacsConstraintManager
Liefert eine Liste mit den Variablen (Instanzen der Klasse yacs.parser.Variable), die sich in dem der übergebenen Strategie zugehörigen Constraint-Netz befinden.
getVariables() - Method in class yacs.YacsConstraintManagerImpl
Liefert eine Liste mit den Namen aller Variablen sämtlicher vorhandenen Constraint-Netze (enthält Instanzen der Klasse String).
getVariables(String) - Method in class yacs.YacsConstraintManagerImpl
Liefert eine Liste mit den Variablen (Instanzen der Klasse yacs.parser.Variable), die sich in dem der übergebenen Strategie zugehörigen Constraint-Netz befinden.
getVariables() - Method in class yacs.net.ConstraintNet
Liefert eine "unmodifizierbare" Liste aller Variablen (als Strings) des Teilproblems.
getVariables() - Method in class yacs.net.Solution
Liefert eine "unmodifizierbare" Liste mit den Namen (Strings) der an dieser Lösung involvierten Variablen.
getVariables() - Method in class yacs.parser.BinaryOperator
 
getVariables() - Method in class yacs.parser.Constant
 
getVariables() - Method in class yacs.parser.Expression
Liefert eine Liste der Variablennamen des Constraint-Problems.
getVariables() - Method in class yacs.parser.UnaryOperator
 
getVariables() - Method in class yacs.parser.Variable
 
greaterAs(DomainElement) - Method in class yacs.domain.DomainElement
Liefert true, wenn das Element größer als das übergebenen Element ist, false wenn nicht.
greaterAs(DomainElement) - Method in class yacs.domain.IntervalDomainElement
Liefert true, wenn sämtliche Werte des Intervalls größer als die des übergebenen Intervalls sind, false wenn nicht.
greaterAs(DomainElement) - Method in class yacs.domain.NumericFDElement
 
greaterAs(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Vergleicht die Strings lexikographisch mit compareTo().
greaterEqualAs(DomainElement) - Method in class yacs.domain.DomainElement
Liefert true, wenn das Element größer/gleich dem übergebenen Element ist, false wenn nicht.
greaterEqualAs(DomainElement) - Method in class yacs.domain.IntervalDomainElement
Liefert true, wenn die Werte des Intervalls größer/gleich dem übergebenen Intervall sind, false wenn nicht.
greaterEqualAs(DomainElement) - Method in class yacs.domain.NumericFDElement
 
greaterEqualAs(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Vergleicht die Strings lexikographisch mit compareTo().

H

HullConsistencySolver - class yacs.solver.intervalsolver.consistency.HullConsistencySolver.
Einfacher Algorithmus zum Herstellen von Hull-Konsistenz für Variablen mit Wertebereichen aus reellwertigen Intervallen.
HullConsistencySolver() - Constructor for class yacs.solver.intervalsolver.consistency.HullConsistencySolver
 
HyperArc - class yacs.solver.fdsolver.consistency.HyperArc.
Hilfsklasse zur Beschreibung einer beliebigstelligen "Kante" für Algorithmen zur Herstellung von (Hyper-)Kantenkonsistenz.
HyperArc() - Constructor for class yacs.solver.fdsolver.consistency.HyperArc
Konstruktor -- Instantiiert die Hyperkante.
HyperArc(List, Expression) - Constructor for class yacs.solver.fdsolver.consistency.HyperArc
Konstruktor -- Benötigt eine Liste mit den Knoten der Kante (enthält Instanzen der Klasse String) sowie den Constraint-Ausdruck, der diese Kante beinhaltet.
hasFalseDomain(String) - Method in interface yacs.YacsConstraintManager
Liefert true, wenn die Domäne einer Variablen des der übergebenen Strategie zugehörigen Teilproblems leer ist.
hasFalseDomain(String) - Method in class yacs.YacsConstraintManagerImpl
Liefert true, wenn die Domäne einer Variablen des der übergebenen Strategie zugehörigen Teilproblems leer ist.
hasFalseDomain() - Method in class yacs.net.ConstraintNet
Liefert true, wenn die Domäne einer Variable des Teilproblems leer ist.
hasFalseDomain() - Method in class yacs.parser.BinaryOperator
 
hasFalseDomain() - Method in class yacs.parser.Constant
 
hasFalseDomain() - Method in class yacs.parser.Expression
Liefert true, wenn die Domäne einer Variable leer ist.
hasFalseDomain() - Method in class yacs.parser.UnaryOperator
 
hasFalseDomain() - Method in class yacs.parser.Variable
 
hasSolutions(String) - Method in interface yacs.YacsConstraintManager
Liefert true, wenn für das der übergebenen Strategie zugehörige Teilproblem bereits Lösungen gefunden wurden, false wenn nicht.
hasSolutions(String) - Method in class yacs.YacsConstraintManagerImpl
Liefert true, wenn für das der übergebenen Strategie zugehörige Teilproblem bereits Lösungen gefunden wurden, false wenn nicht.
hasSolutions() - Method in class yacs.net.ConstraintNet
Liefert true, wenn für das Teilproblem bereits Lösungen gefunden wurden, false wenn nicht.
hasSolutions() - Method in class yacs.net.Solutions
Liefert true, wenn Lösungen existieren, false wenn nicht.
hasValuationDomain(String) - Method in interface yacs.YacsConstraintManager
Liefert 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.
hasValuationDomain(String) - Method in class yacs.YacsConstraintManagerImpl
Liefert 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.
hasValuationDomain() - Method in class yacs.net.ConstraintNet
Liefert true, wenn eine "valuation domain" vorliegt, d.h. in den Domänen aller Variablen des Teilproblems ist jeweils genau ein Wert enthalten.
hasValuationDomain() - Method in class yacs.parser.BinaryOperator
 
hasValuationDomain() - Method in class yacs.parser.Constant
 
hasValuationDomain() - Method in class yacs.parser.Expression
Liefert true, wenn eine "valuation domain" vorliegt, d.h. in den Domänen aller Variablen ist jeweils genau ein Wert enthalten.
hasValuationDomain() - Method in class yacs.parser.UnaryOperator
 
hasValuationDomain() - Method in class yacs.parser.Variable
 
hullSolve(Expression) - Method in class yacs.solver.intervalsolver.consistency.HullConsistencySolver
Einfacher Solver zum Herstellen von Hull- bzw. 2B-Konsistenz, basierend auf dem Waltz-Filteralgorithmus (in diesem Fall für Domänen mit reellwertigen Intervallen).

I

InconsistencyException - exception yacs.exceptions.InconsistencyException.
Diese Exception wird von YACS ausgelöst, wenn während der Propagation oder Lösungssuche eine Inkonsistenz auftritt.
InconsistencyException() - Constructor for class yacs.exceptions.InconsistencyException
 
InconsistencyException(String) - Constructor for class yacs.exceptions.InconsistencyException
 
IntervalDomain - class yacs.domain.IntervalDomain.
Klasse zur Repräsentation einer reellwertigen Intervalldomäne.
IntervalDomain() - Constructor for class yacs.domain.IntervalDomain
Konstruktor -- Instantiiert eine Intervalldomäne.
IntervalDomain(RealInterval) - Constructor for class yacs.domain.IntervalDomain
Konstruktor -- Die Domäne wird mit einem Wert (hier: RealInterval) instantiiert.
IntervalDomain(Double, Double) - Constructor for class yacs.domain.IntervalDomain
Konstruktor -- Erlaubt die vereinfachte Instantiierung einer Intervalldomäne durch Angabe der unteren (lo) und oberen Schranke (hi) des Intervalls als Double-Objekt.
IntervalDomain(double, double) - Constructor for class yacs.domain.IntervalDomain
Konstruktor -- Erlaubt die vereinfachte Instantiierung einer Intervalldomäne durch Angabe der unteren (lo) und oberen Schranke (hi) des Intervalls als double-Wert.
IntervalDomainElement - class yacs.domain.IntervalDomainElement.
Klasse zur Repräsentation von einzelnen "Elementen" für reellwertige Intervall-Domänen.
IntervalDomainElement(RealInterval) - Constructor for class yacs.domain.IntervalDomainElement
Konstruktor -- Benötigt ein RealInterval-Objekt zur Instantiierung.
IntervalDomainElement(Double, Double) - Constructor for class yacs.domain.IntervalDomainElement
Konstruktor -- Aus Gründen der Vereinfachung können zur Instantiierung auch zwei Double-Objekte als untere und obere Schranke des Intervalls angegeben werden.
IntervalDomainElement(double, double) - Constructor for class yacs.domain.IntervalDomainElement
Konstruktor -- Aus Gründen der Vereinfachung können zur Instantiierung auch lediglich zwei double-Werte als untere und obere Schranke des Intervalls angegeben werden.
init() - Method in class yacs.parser.BinaryOperator
 
init() - Method in class yacs.parser.Constant
 
init() - Method in class yacs.parser.Expression
Initialisiert die Constraint-Variablen.
init() - Method in class yacs.parser.UnaryOperator
 
init() - Method in class yacs.parser.Variable
 
isEmpty() - Method in class yacs.domain.Domain
Liefert true wenn die Domäne leer ist, false wenn nicht.
isInconsistent(String) - Method in interface yacs.YacsConstraintManager
Gibt zurück, ob ein Constraint-Solver für das der übergebenen Strategie zugehörige Teilproblem eine Inkonsistenz gemeldet hat oder nicht (wird zurückgesetzt durch die benutzerinitiierte Modifikation der Wertebereiche der Constraint-Variablen und durch Hinzufügen einer Lösung zum Teilproblem).
isInconsistent(String) - Method in class yacs.YacsConstraintManagerImpl
Gibt zurück, ob ein Constraint-Solver für das der übergebenen Strategie zugehörige Teilproblem eine Inkonsistenz gemeldet hat oder nicht (wird zurückgesetzt durch die benutzerinitiierte Modifikation der Wertebereiche der Constraint-Variablen und durch Hinzufügen einer Lösung zum Teilproblem).
isInconsistent() - Method in class yacs.net.ConstraintNet
Gibt zurück, ob von einem Constraint-Solver eine Inkonsistenz gemeldet wurde (durch Auslösen einer InconsistencyException).

L

LBRACKET - Static variable in class yacs.parser.sym
 
LOWER - Static variable in class yacs.parser.sym
 
LOWER_EQUAL - Static variable in class yacs.parser.sym
 
LPAREN - Static variable in class yacs.parser.sym
 
lowerAs(DomainElement) - Method in class yacs.domain.DomainElement
Liefert true, wenn das Element kleiner als das übergebenen Element ist, false wenn nicht.
lowerAs(DomainElement) - Method in class yacs.domain.IntervalDomainElement
Liefert true, wenn sämtliche Werte des Intervalls kleiner als die des übergebenen Intervalls sind, false wenn nicht.
lowerAs(DomainElement) - Method in class yacs.domain.NumericFDElement
 
lowerAs(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Vergleicht die Strings lexikographisch mit compareTo().
lowerEqualAs(DomainElement) - Method in class yacs.domain.DomainElement
Liefert true, wenn das Element kleiner/gleich dem übergebenen Element ist, false wenn nicht.
lowerEqualAs(DomainElement) - Method in class yacs.domain.IntervalDomainElement
Liefert true, wenn die Werte des Intervalls kleiner/gleich dem übergebenen Intervall sind, false wenn nicht.
lowerEqualAs(DomainElement) - Method in class yacs.domain.NumericFDElement
 
lowerEqualAs(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Vergleicht die Strings lexikographisch mit compareTo().

M

MAC3Solver - class yacs.solver.fdsolver.search.MAC3Solver.
Einfacher MAC-3-Solver zur Lösungssuche mit "look-ahead" in einem Constraint-Problem mit finiten Domänen nach Dechter und Frost (2002, S. 175 u. 178).
MAC3Solver() - Constructor for class yacs.solver.fdsolver.search.MAC3Solver
 
MACSolver - class yacs.solver.fdsolver.search.MACSolver.
Einfacher MAC-Solver zur Lösungssuche mit "look-ahead" in einem Constraint-Problem mit finiten Domänen nach Dechter und Frost (2002, S. 175 u. 178).
MACSolver() - Constructor for class yacs.solver.fdsolver.search.MACSolver
 
MINUS - Static variable in class yacs.parser.sym
 
main(String[]) - Static method in class yacs.solver.fdsolver.search.DomDegRatioVariableOrdering
 
minus(DomainElement) - Method in class yacs.domain.DomainElement
Methode zur Subtraktion zweier Elemente.
minus(DomainElement) - Method in class yacs.domain.IntervalDomainElement
 
minus(DomainElement) - Method in class yacs.domain.NumericFDElement
 
minus(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Liefert ein SymbolicFDElement, welches als Belegung den um sämtliche Vorkommen des übergebenen Parameters reduzierten String enthält.

N

NCSolver - class yacs.solver.fdsolver.consistency.NCSolver.
Einfacher Algorithmus zum Herstellen von Knotenkonsistenz über finite Domänen nach Marriott und Stuckey (1999, S. 94).
NCSolver() - Constructor for class yacs.solver.fdsolver.consistency.NCSolver
 
NOT_EQUAL - Static variable in class yacs.parser.sym
 
NUMBER - Static variable in class yacs.parser.sym
 
NumericFDDomain - class yacs.domain.NumericFDDomain.
Klasse zur Repräsentation einer finiten Integer-Domäne.
NumericFDDomain() - Constructor for class yacs.domain.NumericFDDomain
Konstruktor -- Instantiiert eine Domäne mit numerischen FD-Elementen.
NumericFDDomain(Integer) - Constructor for class yacs.domain.NumericFDDomain
Konstruktor -- Die Domäne wird mit einem Wert (hier: Integer) instantiiert.
NumericFDDomain(int) - Constructor for class yacs.domain.NumericFDDomain
Konstruktor -- Die Domäne wird mit einem Wert (hier: int) instantiiert.
NumericFDDomain(int, int) - Constructor for class yacs.domain.NumericFDDomain
Konstruktor -- Erlaubt die vereinfachte Instantiierung einer FD-Domäne mit einem Wertebereich "von" (startValue) - "bis" (endValue).
NumericFDElement - class yacs.domain.NumericFDElement.
Klasse zur Repräsentation von einzelnen Elementen für numerische finite Domänen.
NumericFDElement(Integer) - Constructor for class yacs.domain.NumericFDElement
Konstruktor -- Benötigt ein Integer-Objekt zur Instantiierung.
NumericFDElement(int) - Constructor for class yacs.domain.NumericFDElement
Konstruktor -- Aus Gründen der Vereinfachung kann zur Instantiierung auch lediglich ein int-Wert angegeben werden.
narrow(int, DomainElement) - Method in class yacs.domain.Domain
Führt eine Beschränkung der Domäne durch, so dass sie nur noch das übergebene Element enthält.
narrow(int, DomainElement) - Method in class yacs.domain.IntervalDomain
Führt eine Beschränkung der Domäne durch, so dass sich das enthaltene Intervall anschließend innerhalb den Grenzen des übergebenen Intervalls befindet.
narrow(int, DomainElement) - Method in class yacs.parser.Variable
Liefert truen wenn der Wertebereich der Variable eingeschränkt wurde.
next_token() - Method in class yacs.parser.Yylex
 
nodeSolve(Expression) - Method in class yacs.solver.fdsolver.consistency.NCSolver
Eine Solver der Knotenkonsistenz herstellt, d.h. es werden alle unären Constraints auf konsistente Wertebereiche überprüft und selbige ggf. um unzulässige Werte reduziert.
notEquals(DomainElement) - Method in class yacs.domain.DomainElement
Liefert true, wenn das Element ungleich dem übergebenen Element ist, false wenn nicht.
notEquals(DomainElement) - Method in class yacs.domain.IntervalDomainElement
Liefert true, wenn die obere oder untere Schranke des Intervalls jeweils nicht identisch mit der des übergebenen Intervall ist, false wenn nicht.
notEquals(DomainElement) - Method in class yacs.domain.NumericFDElement
 
notEquals(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Vergleicht die Strings mit !

O

OnlyBinaryConstraintsAllowedException - exception yacs.exceptions.OnlyBinaryConstraintsAllowedException.
Diese Exception wird ausgelöst, wenn einer Constraint-Lösungskomponente, die ausschließlich dazu in der Lage ist, binäre Constraints zu behandeln, höherwertige Constraints zur Verarbeitung vorgelegt werden.
OnlyBinaryConstraintsAllowedException() - Constructor for class yacs.exceptions.OnlyBinaryConstraintsAllowedException
 
OnlyBinaryConstraintsAllowedException(String) - Constructor for class yacs.exceptions.OnlyBinaryConstraintsAllowedException
 
OnlyConsistencySolversAllowedException - exception yacs.exceptions.OnlyConsistencySolversAllowedException.
Diese Exception wird ausgelöst, wenn an einer Stelle, an der ausschließlich Constraint-Solver für die Konsistenzherstellung genutzt werden sollen, fälschlicherweise andere Solver übergeben wurden.
OnlyConsistencySolversAllowedException() - Constructor for class yacs.exceptions.OnlyConsistencySolversAllowedException
 
OnlyConsistencySolversAllowedException(String) - Constructor for class yacs.exceptions.OnlyConsistencySolversAllowedException
 
OnlyPreprocessingSolversAllowedException - exception yacs.exceptions.OnlyPreprocessingSolversAllowedException.
Diese Exception wird ausgelöst, wenn an einer Stelle, an der ausschließlich Constraint-Solver für die Preprozessing-Phase genutzt werden sollen, fälschlicherweise andere Solver übergeben wurden.
OnlyPreprocessingSolversAllowedException() - Constructor for class yacs.exceptions.OnlyPreprocessingSolversAllowedException
 
OnlyPreprocessingSolversAllowedException(String) - Constructor for class yacs.exceptions.OnlyPreprocessingSolversAllowedException
 
OnlySearchSolversAllowedException - exception yacs.exceptions.OnlySearchSolversAllowedException.
Diese Exception wird ausgelöst, wenn an einer Stelle, an der ausschließlich Constraint-Solver für die Lösungssuche genutzt werden sollen, fälschlicherweise andere Solver übergeben wurden.
OnlySearchSolversAllowedException() - Constructor for class yacs.exceptions.OnlySearchSolversAllowedException
 
OnlySearchSolversAllowedException(String) - Constructor for class yacs.exceptions.OnlySearchSolversAllowedException
 

P

PLUS - Static variable in class yacs.parser.sym
 
PreprocessingSolver - class yacs.solver.PreprocessingSolver.
Abstrakte Klasse für Constraint-Solver mit Preprozessing-Verfahren.
PreprocessingSolver() - Constructor for class yacs.solver.PreprocessingSolver
 
parser - class yacs.parser.parser.
CUP v0.10k generated parser.
parser() - Constructor for class yacs.parser.parser
Default constructor.
parser(Scanner) - Constructor for class yacs.parser.parser
Constructor which sets the default scanner.
parserVariablesMap - Variable in class yacs.parser.parser
HashtMap zum Zwischenspeichern der bereits vorhandenen Variablen
plus(DomainElement) - Method in class yacs.domain.DomainElement
Methode zur Addition zweier Elemente.
plus(DomainElement) - Method in class yacs.domain.IntervalDomainElement
 
plus(DomainElement) - Method in class yacs.domain.NumericFDElement
 
plus(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Liefert ein SymbolicFDElement, welches als Belegung den um den übergebenen Parameter ergänzten String enthält.
process(ConstraintNet) - Method in class yacs.solver.PreprocessingSolver
Benötigt als Eingabe ein Constraint-Netz.
production_table() - Method in class yacs.parser.parser
Access to production table.
propagate(ConstraintNet) - Method in class yacs.solver.ConsistencySolver
Benötigt als Eingabe ein Constraint-Netz.
propagate(ConstraintNet) - Method in class yacs.solver.fdsolver.consistency.AC3Solver
Benötigt als Eingabe ein Constraint-Netz.
propagate(ConstraintNet) - Method in class yacs.solver.fdsolver.consistency.ACSolver
Benötigt als Eingabe ein Constraint-Netz.
propagate(ConstraintNet) - Method in class yacs.solver.fdsolver.consistency.NCSolver
Benötigt als Eingabe ein Constraint-Netz.
propagate(ConstraintNet) - Method in class yacs.solver.intervalsolver.consistency.HullConsistencySolver
Benötigt als Eingabe ein Constraint-Netz.

R

RBRACKET - Static variable in class yacs.parser.sym
 
RPAREN - Static variable in class yacs.parser.sym
 
reduce_table() - Method in class yacs.parser.parser
Access to reduce_goto table.
refine() - Method in class yacs.parser.BinaryOperator
Liefert den Namen der Variable, deren Wertebereich eingeschränkt wurde.

S

SEMI - Static variable in class yacs.parser.sym
 
SearchSolver - class yacs.solver.SearchSolver.
Abstrakte Klasse für Constraint-Solver mit Verfahren zur Lösungssuche.
SearchSolver() - Constructor for class yacs.solver.SearchSolver
 
SingleSolutionBTSolver - class yacs.solver.fdsolver.search.SingleSolutionBTSolver.
Ein rekursiver Backtracking"=Solver für finite Domänen in Anlehnung an Marriott u.
SingleSolutionBTSolver() - Constructor for class yacs.solver.fdsolver.search.SingleSolutionBTSolver
 
Solution - class yacs.net.Solution.
Klasse zur Repräsentation einer Lösung eines Constraint-Problems.
Solution() - Constructor for class yacs.net.Solution
 
Solutions - class yacs.net.Solutions.
Container-Klasse für die Repräsentation von Lösungen eines Constraint-Problems.
Solutions() - Constructor for class yacs.net.Solutions
 
Solver - interface yacs.solver.Solver.
Interface für Constraint-Solver innerhalb von YACS.
Strategy - class yacs.net.Strategy.
Klasse zur Repräsentation einer Constraint-Lösungsstrategie von YACS.
Strategy(String) - Constructor for class yacs.net.Strategy
Konstruktor -- Benötigt den Namen der Strategie.
StrategyNotFoundException - exception yacs.exceptions.StrategyNotFoundException.
Diese Exception wird ausgelöst, wenn auf eine Strategy zugegriffen werden soll, die nicht existiert.
StrategyNotFoundException() - Constructor for class yacs.exceptions.StrategyNotFoundException
 
StrategyNotFoundException(String) - Constructor for class yacs.exceptions.StrategyNotFoundException
 
StrategyParserException - exception yacs.exceptions.StrategyParserException.
Diese Exception wird bei einem Fehler innerhalb des XML-Parsers für die Constraint-Lösungsstrategien von YACS ausgelöst.
StrategyParserException() - Constructor for class yacs.exceptions.StrategyParserException
 
StrategyParserException(String) - Constructor for class yacs.exceptions.StrategyParserException
 
StrategyReader - class yacs.net.StrategyReader.
XML-Parser, der aus der übergebenen Datei die Constraint-Lösungsstrategien ausliest und die entsprechende Objekte (Instanzen der Klasse yacs.net.Strategy) instantiiert.
StrategyReader(String) - Constructor for class yacs.net.StrategyReader
 
SymbolicFDDomain - class yacs.domain.SymbolicFDDomain.
Klasse zur Repräsentation einer symbolischen finiten Domäne.
SymbolicFDDomain() - Constructor for class yacs.domain.SymbolicFDDomain
Konstruktor -- Instantiiert eine Domäne mit symbolischen FD-Elementen.
SymbolicFDDomain(String) - Constructor for class yacs.domain.SymbolicFDDomain
Konstruktor -- Die Domäne wird mit einem Wert (hier: String) instantiiert.
SymbolicFDElement - class yacs.domain.SymbolicFDElement.
Klasse zur Repräsentation von einzelnen Elementen für symbolische finite Domänen.
SymbolicFDElement(String) - Constructor for class yacs.domain.SymbolicFDElement
Konstruktor -- Benötigt ein String-Objekt zur Instantiierung.
satisfiable() - Method in class yacs.parser.BinaryOperator
 
satisfiable() - Method in class yacs.parser.Constant
 
satisfiable() - Method in class yacs.parser.Expression
Prüft die Erfüllbarkeit des Constraint-Ausdrucks bzgl. der aktuellen Wertebelegung.
satisfiable() - Method in class yacs.parser.UnaryOperator
 
satisfiable() - Method in class yacs.parser.Variable
 
search(ConstraintNet) - Method in class yacs.solver.SearchSolver
Benötigt als Eingabe ein Constraint-Netz.
search(ConstraintNet) - Method in class yacs.solver.fdsolver.search.BacktrackingSolver
Benötigt als Eingabe ein Constraint-Netz.
search(ConstraintNet) - Method in class yacs.solver.fdsolver.search.MAC3Solver
Benötigt als Eingabe ein Constraint-Netz.
search(ConstraintNet) - Method in class yacs.solver.fdsolver.search.MACSolver
Benötigt als Eingabe ein Constraint-Netz.
search(ConstraintNet) - Method in class yacs.solver.fdsolver.search.SingleSolutionBTSolver
Benötigt als Eingabe ein Constraint-Netz.
set(String, DomainElement) - Method in class yacs.parser.BinaryOperator
 
set(String, DomainElement) - Method in class yacs.parser.Constant
 
set(String, DomainElement) - Method in class yacs.parser.Expression
Belegt die übergebene Variable mit einem Wert.
set(String, DomainElement) - Method in class yacs.parser.UnaryOperator
 
set(String, DomainElement) - Method in class yacs.parser.Variable
 
setDomain(String, Domain) - Method in class yacs.net.ConstraintNet
Belegt die angegebene Variable mit der übergebenen Domäne.
setDomain(String, Domain) - Method in class yacs.parser.BinaryOperator
 
setDomain(String, Domain) - Method in class yacs.parser.Constant
 
setDomain(String, Domain) - Method in class yacs.parser.Expression
Belegt den Wertebereich der angegebenen Variable und gibt zurück, ob dies erfolgreich war (true) oder nicht (false).
setDomain(String, Domain) - Method in class yacs.parser.UnaryOperator
 
setDomain(String, Domain) - Method in class yacs.parser.Variable
 
setLowerBound(double) - Method in class yacs.domain.IntervalDomain
Setzt die untere Schranke dieser Intervalldomäne.
setLowerBound(double) - Method in class yacs.domain.IntervalDomainElement
Setzt die untere Schranke dieses Intervalls.
setUpperBound(double) - Method in class yacs.domain.IntervalDomain
Setzt die obere Schranke dieser Intervalldomäne.
setUpperBound(double) - Method in class yacs.domain.IntervalDomainElement
Setzt die obere Schranke dieses Intervalls.
setValuationDomain() - Method in class yacs.parser.BinaryOperator
 
setValuationDomain() - Method in class yacs.parser.Constant
 
setValuationDomain() - Method in class yacs.parser.Expression
Wenn eine "valuation domain" vorliegt, werden die Variablen mit dem in der jeweiligen Domäne einzig vorhandenen Wert belegt.
setValuationDomain() - Method in class yacs.parser.UnaryOperator
 
setValuationDomain() - Method in class yacs.parser.Variable
 
setValue(DomainElement) - Method in class yacs.parser.Variable
Belegt diese Variable mit einem Element aus ihrer Domäne.
setVariableDomain(String, Domain) - Method in interface yacs.YacsConstraintManager
Setzt den Wertebereich für eine Variable.
setVariableDomain(String, Domain) - Method in class yacs.YacsConstraintManagerImpl
Setzt den Wertebereich für eine Variable.
singletons() - Method in class yacs.parser.BinaryOperator
 
singletons() - Method in class yacs.parser.Constant
 
singletons() - Method in class yacs.parser.Expression
Entfernt bei allen Variablen, die mit einem Wert belegt sind, sämtliche anderen Elemente aus deren Domäne.
singletons() - Method in class yacs.parser.UnaryOperator
 
singletons() - Method in class yacs.parser.Variable
 
size() - Method in class yacs.domain.Domain
Liefert die Anzahl der Elemente in der Domäne.
startDomain() - Method in class yacs.solver.fdsolver.consistency.BinaryArc
Liefert die Domäne des Startknotens.
startNode() - Method in class yacs.solver.fdsolver.consistency.BinaryArc
Liefert den Startknoten der Kante.
start_production() - Method in class yacs.parser.parser
Indicates start production.
start_state() - Method in class yacs.parser.parser
Indicates start state.
sym - class yacs.parser.sym.
CUP generated class containing symbol constants.
sym() - Constructor for class yacs.parser.sym
 

T

TIMES - Static variable in class yacs.parser.sym
 
tabularasa() - Method in interface yacs.YacsConstraintManager
Setzt sämtliche Constraint-Netze wieder in den Ausgangszustand zurück, d.h.
tabularasa() - Method in class yacs.YacsConstraintManagerImpl
Setzt sämtliche Constraint-Netze wieder in den Ausgangszustand zurück, d.h.
times(DomainElement) - Method in class yacs.domain.DomainElement
Methode zur Multiplikation zweier Elemente.
times(DomainElement) - Method in class yacs.domain.IntervalDomainElement
 
times(DomainElement) - Method in class yacs.domain.NumericFDElement
 
times(DomainElement) - Method in class yacs.domain.SymbolicFDElement
Dummy, liefert immer ein SymbolicFDElement mit der Belegung "" (leerer String).
toString() - Method in class yacs.domain.Domain
Liefert die Domäne als String.
toString() - Method in class yacs.domain.DomainElement
Liefert die Belegung dieses Elements als String.
toString() - Method in class yacs.domain.IntervalDomainElement
 
toString() - Method in class yacs.domain.NumericFDElement
 
toString() - Method in class yacs.domain.SymbolicFDElement
 
toString() - Method in class yacs.net.ConstraintNet
Rückgabe des Constraint-Netzes als String (für Debugging).
toString() - Method in class yacs.net.Solution
Generiert zu Debugging-Zwecken einen String mit den Variablen/Wertebelegungen dieser Lösung.
toString() - Method in class yacs.net.Solutions
Generiert zu Debugging-Zwecken einen String mit den in diesem Container enthaltenen Lösungen.
toString() - Method in class yacs.net.Strategy
Rückgabe der Strategie als String (für Debugging).
toString() - Method in class yacs.parser.BinaryOperator
 
toString() - Method in class yacs.parser.Constant
 
toString() - Method in class yacs.parser.Expression
Konvertiert das Objekt in einen String.
toString() - Method in class yacs.parser.UnaryOperator
 
toString() - Method in class yacs.parser.Variable
 
toString() - Method in class yacs.solver.fdsolver.consistency.BinaryArc
Liefert die Kante als String (für Debugging).
toString() - Method in class yacs.solver.fdsolver.consistency.HyperArc
Liefert die Kante als String (für Debugging).
triggerConsistency() - Method in class yacs.net.ConstraintNet
Phase 2 der Constraint-Verarbeitung: Wendet die in der Strategie spezifizierten Solver zur Konsistenzherstellung auf das Constraint-Netz an.
triggerPreprocessing() - Method in class yacs.net.ConstraintNet
Phase 1 der Constraint-Verarbeitung: Wendet die in der Strategie spezifizierten Preprozessing-Solver auf das Constraint-Netz an.
triggerSearch() - Method in class yacs.net.ConstraintNet
Phase 3 der Constraint-Verarbeitung: Wendet die in der Strategie spezifizierten Solver zur Lösungssuche auf das Constraint-Netz an.

U

UMINUS - Static variable in class yacs.parser.sym
 
UnaryOperator - class yacs.parser.UnaryOperator.
Klasse zur Repräsentation eines unären Operators innerhalb einer rekursiven Struktur zur Repräsentation eines algebraischen Constraint-Problems (Dokumentation siehe Expression).
UnaryOperator(int, String, Expression) - Constructor for class yacs.parser.UnaryOperator
Konstruktor -- Instantiiert den Operator mit seinem Typ, seinem "Namen" und dem zugehörigen Constraint-Ausdruck.
uminus() - Method in class yacs.domain.DomainElement
Liefert das Element mit negativem Vorzeichen.
uminus() - Method in class yacs.domain.IntervalDomainElement
 
uminus() - Method in class yacs.domain.NumericFDElement
 
uminus() - Method in class yacs.domain.SymbolicFDElement
Dummy, liefert immer das aktuelle Objekt.
unsetVariablesLeft() - Method in class yacs.parser.BinaryOperator
 
unsetVariablesLeft() - Method in class yacs.parser.Constant
 
unsetVariablesLeft() - Method in class yacs.parser.Expression
Gibt zurück ob unbelegte Variablen existieren (true) oder nicht (false).
unsetVariablesLeft() - Method in class yacs.parser.UnaryOperator
 
unsetVariablesLeft() - Method in class yacs.parser.Variable
 
update(DomainElement) - Method in class yacs.domain.Domain
Aktualisiert den Wert für das übergebene Element in der Domäne.
user_init() - Method in class yacs.parser.parser
User initialization code.

V

VARIABLE - Static variable in class yacs.parser.sym
 
Variable - class yacs.parser.Variable.
Klasse zur Repräsentation einer numerischen Variablen innerhalb einer rekursiven Struktur zur Repräsentation eines algebraischen Constraint-Problems (Dokumentation siehe Expression).
Variable(String) - Constructor for class yacs.parser.Variable
Konstruktor -- Instantiiert die Variable mit ihrem Namen.
Variable(String, Domain) - Constructor for class yacs.parser.Variable
Konstruktor -- Instantiiert die Variable mit ihrem Namen und ihrer Domäne.
Variable(String, Domain, DomainElement) - Constructor for class yacs.parser.Variable
Konstruktor -- Instantiiert die Variable mit ihrem Namen, ihrer Domäne und einer aktuellen Belegung.
VariableNotFoundException - exception yacs.exceptions.VariableNotFoundException.
Diese Exception wird ausgelöst, wenn auf eine Variable zugegriffen werden soll, die nicht existiert.
VariableNotFoundException() - Constructor for class yacs.exceptions.VariableNotFoundException
 
VariableNotFoundException(String) - Constructor for class yacs.exceptions.VariableNotFoundException
 

Y

YacsConstraintManager - interface yacs.YacsConstraintManager.
Der YACS Constraint-Manager (YCM) dient als zentrale Schnittstelle des YACS-Frameworks.
YacsConstraintManagerImpl - class yacs.YacsConstraintManagerImpl.
Implementierung des YACS Constraint-Managers.
YacsConstraintManagerImpl() - Constructor for class yacs.YacsConstraintManagerImpl
Konstruktor -- Wird dieser Konstruktor ohne Angabe des Pfades zu der XML-Datei mit den Constraint-Lösungsstrategien aufgerufen, wird diese im aktuellen Verzeichnis unter dem Namen yacs_strategies.xml gesucht.
YacsConstraintManagerImpl(String) - Constructor for class yacs.YacsConstraintManagerImpl
Konstruktor -- Der Parameter strategyPath ist der Pfad zur der XML-Datei, in der die Constraint-Lösungsstrategien spezifiziert sind.
Yylex - class yacs.parser.Yylex.
 
Yylex(Reader) - Constructor for class yacs.parser.Yylex
 
Yylex(InputStream) - Constructor for class yacs.parser.Yylex
 
yacs - package yacs
 
yacs.domain - package yacs.domain
 
yacs.exceptions - package yacs.exceptions
 
yacs.net - package yacs.net
 
yacs.parser - package yacs.parser
 
yacs.solver - package yacs.solver
 
yacs.solver.fdsolver.consistency - package yacs.solver.fdsolver.consistency
 
yacs.solver.fdsolver.search - package yacs.solver.fdsolver.search
 
yacs.solver.intervalsolver.consistency - package yacs.solver.intervalsolver.consistency
 

A B C D E F G H I L M N O P R S T U V Y