Beobachter: Beispiel (II)

interaktiver Sudoku-Solver:

• jedes Feld F hat Zustand (leer oder besetzt durch Zahl)
• jede Teilmenge M (Zeile, Spalte, Block)
  hat Zustand (Menge der bereits benutzten Zahlen)
• jedes M beobachtet alle F mit F $\in$ M
• (jedes F beobachtet alle M mit F $\in$ M)

Fragen:

• Zustandsänderungen zurücknehmen
• zyklische Abhängigkeiten
• GUI