random walk written with two rules using global coord.

This commit is contained in:
Jean Sirmai 2021-10-18 11:03:31 +02:00
parent 8a91a5988a
commit 4228ebd2b8
Signed by untrusted user who does not match committer: jean
GPG Key ID: FB3115C340E057E3
1 changed files with 20 additions and 21 deletions

View File

@ -72,43 +72,42 @@
</savestates>
<!-- Model transitions definition (rules) -->
<!-- As long as there is no client, transitions have to be edited by hand and should be written using a 'human-readable' format -->
<transitions id="texte" date="1629830000" author="Indécis">
<!-- As long as there is no client, transitions have to be edited by hand
and should be written using a 'human-readable' format -->
<transitions id="texte" date="1629822222" author="Jean">
<transition id="move_a_dimer_to_east" date="1629830001" author="Alice" parent="root"
probability="1">
<quote id="texte" date="1629830000" author="Alice" lang="en"> Moves a dimer to east. </quote>
<transition id="move_a_dimer_to_east" date="1629811111" author="Jean"
parent="root" probability="1">
<if>
<arrow x="0" y="0" z="0" site="1" weight="1"/>
<arrow x="1" y="0" z="0" site="2" weight="1"> <quote lang="en">A dimer is identified at coords (0,1)</quote></arrow>
<arrow x="2" y="0" z="0" site="1" weight="0"> <quote lang="en">The east location next this dimer is empty </quote></arrow>
<arrow x="1" y="0" z="0" site="2" weight="1"/>
<arrow x="2" y="0" z="0" site="1" weight="0"/>
</if>
<then> <quote lang="en">Therefore I can (and I want to) move it to its next east location </quote>
<then>
<arrow x="0" y="0" z="0" site="1" weight="0"/>
<arrow x="1" y="0" z="0" site="2" weight="0"> <quote lang="en">The identified dimer no more exists ( :-(( </quote></arrow>
<arrow x="1" y="0" z="0" site="2" weight="0"/>
<arrow x="1" y="0" z="0" site="1" weight="1"/>
<arrow x="2" y="0" z="0" site="2" weight="1"> <quote lang="en">Happily, it is now rebuilt at its east location ( ;-)) </quote></arrow>
<arrow x="2" y="0" z="0" site="2" weight="1"/>
</then>
</transition>
<transition id="move_a_dimer_to_west" date="1629830001" author="Bob" parent="root"
probability="1">
<quote id="texte" date="1629830000" author="Bob" lang="en"> Moves a dimer to west. </quote>
<transition id="move_a_dimer_to_west" date="1629811111" author="Jean"
parent="root" probability="1">
<if>
<arrow x= "0" y="0" z="0" site="1" weight="1"/>
<arrow x= "1" y="0" z="0" site="2" weight="1"> <quote lang="en">A dimer is identified at coords (0,1)</quote></arrow>
<arrow x="-1" y="0" z="0" site="2" weight="0"> <quote lang="en">The west location next this dimer is empty </quote></arrow>
<arrow x= "0" y="0" z="0" site="2" weight="1"/>
<arrow x="-1" y="0" z="0" site="1" weight="1"/>
<arrow x="-2" y="0" z="0" site="2" weight="0"/>
</if>
<then> <quote lang="en">Therefore I can (and I want to) move it to its next west location </quote>
<arrow x= "0" y="0" z="0" site="1" weight="0"/>
<arrow x= "1" y="0" z="0" site="2" weight="0"> <quote lang="en">The identified dimer no more exists ( :-(( </quote></arrow>
<arrow x= "0" y="0" z="0" site="2" weight="1"/>
<arrow x="-1" y="0" z="0" site="1" weight="1"> <quote lang="en">Happily, it is now rebuilt at its west location ( ;-)) </quote></arrow>
<then>
<arrow x= "0" y="0" z="0" site="2" weight="0"/>
<arrow x="-1" y="0" z="0" site="1" weight="0"/>
<arrow x="-1" y="0" z="0" site="2" weight="1"/>
<arrow x="-2" y="0" z="0" site="1" weight="1"/>
</then>
</transition>