yacs.solver.fdsolver.consistency
Keywords: yacs.solver.fdsolver.consistency package

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

## Package yacs.solver.fdsolver.consistency

Class Summary
AC3Solver | Einfacher Solver zum Herstellen von Kantenkonsistenz über finite Domänen mittels AC-3 nach Mackworth (1977, S. 106).
ACSolver | Einfacher Algorithmus zum Herstellen von Kantenkonsistenz über finite Domänen nach Marriott und Stuckey (1999, S. 94).
BinaryArc | Hilfsklasse zur Beschreibung einer "Kante" für binäre Algorithmen zur Herstellung von Kantenkonsistenz.
HyperArc | Hilfsklasse zur Beschreibung einer beliebigstelligen "Kante" für Algorithmen zur Herstellung von (Hyper-)Kantenkonsistenz.
NCSolver | Einfacher Algorithmus zum Herstellen von Knotenkonsistenz über finite Domänen nach Marriott und Stuckey (1999, S. 94).

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