Konsistenzen (Überblick)

man betrachtet jeweils

Constraint-System heißt ...-konsistent, wenn ausgewählte Constraints und Bereiche zusammenpassen.

Wenn es nicht paßt: Bereiche durch gewisse Regeln verkleinern (bis konsistent oder offensichtlich unlösbar)



2009-06-22