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