From f1ae288bae0e837a14e7d235089083dc96dca273 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 30 Jun 2021 19:21:05 +0200
Subject: [PATCH] do not allow changing cells from Puzzle
---
Sudoku/SudokuEvent.mch | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Sudoku/SudokuEvent.mch b/Sudoku/SudokuEvent.mch
index 74dad17..a582d65 100644
--- a/Sudoku/SudokuEvent.mch
+++ b/Sudoku/SudokuEvent.mch
@@ -84,10 +84,10 @@ OPERATIONS
SetCurPos(x,y) = PRE x:DOM & y:DOM THEN
curx, cury := x,y // change current position
END;
- SetBoard(val) = PRE val:RAN THEN
+ SetBoard(val) = PRE val:RAN & cury /: dom(PuzzleBoard(curx)) THEN
Board(curx)(cury) := val // Set the Value at the current position
END;
- ClearCurPos = BEGIN
+ ClearCurPos = PRE cury /: dom(PuzzleBoard(curx)) THEN
Board(curx) := {cury} <<| Board(curx) // clear the value at the current position
END;
res <-- GetPossibleVals = BEGIN
--
GitLab