source: vis_dev/vis-2.3/models/transition/relation.bdd @ 87

Last change on this file since 87 was 31, checked in by cecile, 13 years ago

example for _transition
File size: 1.4 KB
Line 
1\define TRANS_6 (state<0> = 1 * (  state<1> = 0 * (i = 1 ))+ state<0> = 0 * (state<0>$NS = 1 * (  state<1> = 0 * (state<1>$NS = 1 * (i = 1 )))+ state<0>$NS = 0 * (  state<1> = 0 * (i = 1 ))))
2\define TRANS_6 (state<0> = 1 * (state<1> = 1 + state<1> = 0 * (  i = 0))+ state<0> = 0 * (state<0>$NS = 1 * (state<1> = 1 + state<1> = 0 * (state<1>$NS = 1 * (  i = 0)))+ state<0>$NS = 0 * (state<1> = 1 + state<1> = 0 * (  i = 0))))
3\define TRANS_8 (state<0> = 1 * (state<1> = 1 * (i = 1 ))+ state<0> = 0 * (state<0>$NS = 1 * (state<1> = 1 * (i = 1 )+ state<1> = 0 * (state<1>$NS = 1 * (  i = 0)))+ state<0>$NS = 0 * (state<1> = 1 * (i = 1 )+ state<1> = 0 * (  i = 0))))
4\define TRANS_8 (state<0> = 1 * (state<1> = 1 * (  i = 0)+ state<1> = 0)+ state<0> = 0 * (state<0>$NS = 1 * (state<1> = 1 * (  i = 0)+ state<1> = 0 * (state<1>$NS = 1 * (i = 1 )))+ state<0>$NS = 0 * (state<1> = 1 * (  i = 0)+ state<1> = 0 * (i = 1 ))))
5\define TRANS_1 (state<0> = 1 * (state<1> = 1 * (i = 1 ))+ state<0> = 0 * (state<1> = 1 * (i = 1 )+ state<1> = 0 * (  i = 0)))
6\define TRANS_1 (state<0> = 1 * (state<1> = 1 * (  i = 0)+ state<1> = 0)+ state<0> = 0 * (state<1> = 1 * (  i = 0)+ state<1> = 0 * (state<1>$NS = 1 * (i = 1 ))))
7\define TRANS_3 (state<0> = 1 * (  state<1> = 0 * (i = 1 ))+ state<0> = 0 * (  state<0>$NS = 0 * (  state<1> = 0 * (i = 1 ))))
8\define TRANS_3 (state<1> = 1 + state<1> = 0 * (  i = 0))
Note: See TracBrowser for help on using the repository browser.