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://dfa.imn.htwk-leipzig.de/srv/git/ss11-st2

http://dfa.imn.htwk-leipzig.de/cgi-bin/gitweb.cgi?p=ss11-st2.git;a=tree;f=src/kw20;hb=HEAD