Index

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES