source:
vis_dev/vis-2.1/examples/ctlp3/ctlp3.fair
@
11
Last change on this file since 11 was 11, checked in by , 13 years ago | |
---|---|
File size: 96 bytes |
Rev | Line | |
---|---|---|
[11] | 1 | !(ph0.state=EATING); |
2 | !(ph1.state=EATING); | |
3 | !(ph2.state=EATING); | |
4 | !(str.state=0); | |
5 | !(str.state=1); | |
6 |
Note: See TracBrowser
for help on using the repository browser.