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).