From 89b4cac52a622f2b75e7c861fe080b359cda4f8c Mon Sep 17 00:00:00 2001 From: Jean Sirmai Date: Sun, 17 Oct 2021 16:27:28 +0200 Subject: [PATCH] two rules moving a dimer toward east or west --- debian/var/models/example.xml | 70 +++++++++++++---------------------- 1 file changed, 26 insertions(+), 44 deletions(-) diff --git a/debian/var/models/example.xml b/debian/var/models/example.xml index 7855bf1..a91dab0 100644 --- a/debian/var/models/example.xml +++ b/debian/var/models/example.xml @@ -13,7 +13,7 @@ 1.0 - Ref + Ref @@ -72,61 +72,43 @@ - - + As long as there is no client, transitions have to be edited by hand and should be in a 'human-readable' format + + - - Moves a dimer to east. - + Moves a dimer to east. - - - A dimer is identified - - - - - - The east location next this dimer is empty - - - - - - - - In this very simple model, I do not need to check this condition - - - - - + A dimer is identified at coords (0,1) + The east location next this dimer is empty - - - Therefore I can (and I want to) move it to its next east location - - - + Therefore I can (and I want to) move it to its next east location - - The identified dimer no more exists ( :-(( - - - + The identified dimer no more exists ( :-(( + Happily, it is now rebuilt at its east location ( ;-)) + - - - Happily, it is now rebuilt at its east location ( ;-)) + - + + Moves a dimer to west. - + + + A dimer is identified at coords (0,1) + The west location next this dimer is empty + + Therefore I can (and I want to) move it to its next east location + + The identified dimer no more exists ( :-(( + + Happily, it is now rebuilt at its west location ( ;-))