gem-graph/gem-graph-server
gem-graph
/
gem-graph-server
3
0
Fork 0
Code Issues 14 Pull Requests 1 Packages Projects Releases Wiki Activity

two rules moving a dimer toward east or west

This commit is contained in:
Jean Sirmai 2021-10-17 16:33:20 +02:00
parent 89b4cac52a
commit 7fc13837f5
Signed by untrusted user who does not match committer: jean
GPG Key ID: FB3115C340E057E3
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
debian/var/models/example.xml vendored
View File

@ -20,14 +20,14 @@
<parameters id="texte" date="0" author="Gaston Lagaffe"> <parameters id="texte" date="0" author="Gaston Lagaffe">
<simulation> <simulation>
<max_thread>0</max_thread> <max_thread>0</max_thread>
<max_cycles>13</max_cycles> <max_cycles>9</max_cycles>
</simulation> </simulation>
<space-param> <space-param>
<dimension>1</dimension> <dimension>1</dimension>
<size x="12" y="0" z="0"/> <size x="29" y="0" z="0"/>
<site_multiplicity>2</site_multiplicity> <site_multiplicity>3</site_multiplicity>
</space-param> </space-param>
@ -37,19 +37,19 @@
<objects id="texte" date="1629830000" author="Jean Sirmai"> <objects id="texte" date="1629830000" author="Jean Sirmai">
<object id="dimer 1-1" date="1629830000" author="Jean Sirmai"> <object id="dimer 1-1" date="1629830000" author="Jean Sirmai">
<arrow x="0" y="0" z="0" site="1" weight="1"/> <arrow x="0" y="0" z="0" site="1" weight="1"/>
<arrow x="1" y="0" z="0" site="0" weight="1"/> <arrow x="1" y="0" z="0" site="2" weight="1"/>
</object> </object>
<object id="dimer 2-2" date="1629830000" author="Jean Sirmai"> <object id="dimer 2-2" date="1629830000" author="Jean Sirmai">
<arrow x="0" y="0" z="0" site="1" weight="2"/> <arrow x="0" y="0" z="0" site="1" weight="2"/>
<arrow x="1" y="0" z="0" site="0" weight="2"/> <arrow x="1" y="0" z="0" site="2" weight="2"/>
</object> </object>
<object id="dimer 3-3" date="1629830000" author="Jean Sirmai"> <object id="dimer 3-3" date="1629830000" author="Jean Sirmai">
<arrow x="0" y="0" z="0" site="1" weight="3"/> <arrow x="0" y="0" z="0" site="1" weight="3"/>
<arrow x="1" y="0" z="0" site="0" weight="3"/> <arrow x="1" y="0" z="0" site="2" weight="3"/>
</object> </object>
@ -59,13 +59,13 @@
<savestates id="texte" date="1629830000" author="THE MATRIX"> <savestates id="texte" date="1629830000" author="THE MATRIX">
<space id="initial" date="1629830000" author="Jean Sirmai" sequence="0"> <space id="initial" date="1629830000" author="Jean Sirmai" sequence="0">
<arrow x="0" y="0" z="0" site="1" weight="1"/> <arrow x="0" y="0" z="0" site="1" weight="1"/>
<arrow x="1" y="0" z="0" site="0" weight="1"/> <arrow x="1" y="0" z="0" site="2" weight="1"/>
<arrow x="10" y="0" z="0" site="1" weight="1"/> <arrow x="10" y="0" z="0" site="1" weight="1"/>
<arrow x="11" y="0" z="0" site="0" weight="1"/> <arrow x="11" y="0" z="0" site="2" weight="1"/>
<arrow x="20" y="0" z="0" site="1" weight="1"/> <arrow x="20" y="0" z="0" site="1" weight="1"/>
<arrow x="21" y="0" z="0" site="0" weight="1"/> <arrow x="21" y="0" z="0" site="2" weight="1"/>
</space> </space>
@ -73,7 +73,7 @@
<!-- Model transitions definition (rules) --> <!-- Model transitions definition (rules) -->
<transitions id="texte" date="1629830000" author="Indécis"> <transitions id="texte" date="1629830000" author="Indécis">
<quote lang="en">As long as there is no client, transitions have to be edited by hand and should be in a 'human-readable' format</quote> <quote lang="en">As long as there is no client, transitions have to be edited by hand and should be written using a 'human-readable' format</quote>
<transition id="move_a_dimer_to_east" date="1629830001" author="Alice" parent="root" <transition id="move_a_dimer_to_east" date="1629830001" author="Alice" parent="root"
probability="1"> probability="1">
@ -104,7 +104,7 @@
<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="-1" y="0" z="0" site="2" weight="0"> <quote lang="en">The west location next this dimer is empty </quote></arrow>
</if> </if>
<then> <quote lang="en">Therefore I can (and I want to) move it to its next east location </quote> <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= "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"> <quote lang="en">The identified dimer no more exists ( :-(( </quote></arrow>
<arrow x= "0" y="0" z="0" site="2" weight="1"/> <arrow x= "0" y="0" z="0" site="2" weight="1"/>