next up previous contents index
Nächste Seite: E.9 Package yacs.exceptions Aufwärts: E.8 Package yacs.solver.intervalsolver.consistency Vorherige Seite: E.8 Package yacs.solver.intervalsolver.consistency   Inhalt   Index

E.8.1 Klasse HullConsistencySolver

Einfacher Algorithmus zum Herstellen von Hull-Konsistenz für Variablen mit Wertebereichen aus reellwertigen Intervallen. Der Algorithmus orientiert sich am Waltz-Filteralgorithmus und den Beschreibungen von Davis (1987), Hyvönen (1992) und Lhomme (1993). Eine Zerlegung der Constraints findet nicht statt, außerdem lassen sich ausschließlich Constraints verarbeiten, die bereits vollständig als solution functions (vgl. Hyvönen, 1992) bzw. als ,,Projektionen`` vorliegen (vgl. Lhomme, 1993).


Deklaration:


Methoden:


next up previous contents index
Nächste Seite: E.9 Package yacs.exceptions Aufwärts: E.8 Package yacs.solver.intervalsolver.consistency Vorherige Seite: E.8 Package yacs.solver.intervalsolver.consistency   Inhalt   Index