next up previous contents index
Nächste Seite: 7.8 Ausnahmebehandlung Aufwärts: 7.7 Constraint-Lösungsstrategien Vorherige Seite: 7.7.3 Ausführungskontrolle   Inhalt   Index

7.7.4 Beispiel für einen Constraint-Lösungsvorgang

Ein einfaches Beispiel für einen Lösungsvorgang in der derzeitigen Implementierung des YCM ist in dem Sequenzdiagramm in Abbildung 7.9 zu sehen:

Abbildung 7.9: Beispiel für einen Constraint-Lösungsvorgang
\begin{figure}\centering
\includegraphics[scale=0.56]{images/implementierung_sequenz}
\ifx\pdfoutput\undefined
\fi
\end{figure}

Es können abschließend Anfragen an den Constraint-Manager gestellt werden, die Informationen über gefundene Lösungen zur Antwort haben. Außerdem lassen sich z.B. die Wertebereiche bestimmter Variablen oder der Zustand eines bestimmten Constraint-Netzes abfragen. Es ist weiterhin möglich, den Constraint-Netzen weitere Constraints hinzuzufügen oder die Wertebereiche existierender Constraint-Variablen manuell zu modifizieren und einen erneuten Auswertungsvorgang zu starten.


next up previous contents index
Nächste Seite: 7.8 Ausnahmebehandlung Aufwärts: 7.7 Constraint-Lösungsstrategien Vorherige Seite: 7.7.3 Ausführungskontrolle   Inhalt   Index