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 |
Line | |
---|---|
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.