next up previous contents index
Nächste Seite: 8.3.5.1 Knotenkonsistenz (2) Aufwärts: 8.3 Validierung anhand synthetischer Vorherige Seite: 8.3.4 Modifikation der Constraint-Netze   Inhalt   Index

8.3.5 Ergebnisse des zweiten Auswertevorgangs

Die erneute Constraint-Auswertung führt zu weiteren Wertebereichseinschränkungen. Außerdem können, da zwischenzeitlich nicht nur neue Constraints inkrementell zu den Constraint-Netzen hinzugefügt sondern auch Domänen modifiziert wurden, für Constraint-Netze, deren Variablen nun über größere Wertebereiche verfügen, ggf. Lösungen generiert werden.



Unterabschnitte
next up previous contents index
Nächste Seite: 8.3.5.1 Knotenkonsistenz (2) Aufwärts: 8.3 Validierung anhand synthetischer Vorherige Seite: 8.3.4 Modifikation der Constraint-Netze   Inhalt   Index