From 03f6da88c04e37434cac6a53227481e78dda6f02 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 9 Sep 2024 17:27:51 +0200
Subject: [PATCH] allow to influence queens solution depending on click
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
N-Queens/queens_20_tla.json | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/N-Queens/queens_20_tla.json b/N-Queens/queens_20_tla.json
index b254fab..9804da7 100644
--- a/N-Queens/queens_20_tla.json
+++ b/N-Queens/queens_20_tla.json
@@ -11,8 +11,11 @@
"events": [
{
"for":{"from":1,"to":"20"},
- "id":"gTiles%0",
- "event":"Solve"
+ "for":{"from":1,"to":"20"},
+ "id":"tile%0x%1",
+ "event":"Solve",
+ "predicates": [ "queens(%0)=%1"],
+ "hovers": [{ "attr":"opacity", "enter":"0.5", "leave":"1.0"}]
}
]
}
--
GitLab