Beobachter: Beispiel Sudoku, Semantik

• Spielfeld ist Abbildung von Position nach Zelle,
• Menge der Positionen ist {0, 1, 2}⁴
• Zelle ist leer (Empty) oder besetzt (Full)
• leerer Zustand enthält Menge der noch möglichen Zahlen
• Invariante?
• Zelle C₁ beobachtet Zelle C₂, wenn C₁ und C₂ in gemeinsamer Zeile, Spalte, Block

Test: eine Sudoku-Aufgabe laden und danach Belegung der Zellen auf Konsole ausgeben.

git clone git://git.imn.htwk-leipzig.de/ss14/dp.git