source: vis_dev/vis-2.1/examples/ping_pong/prop1.fair @ 11

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

Add vis
File size: 192 bytes
Line 
1#.include ping_pong.fair
2!(player_A.state=BALL);
3!(player_B.state=BALL);
4
5# begin fairness constraints on monitor nnb.
6# The fairness constraints allow only bad behavior.
7
8(nnb.state = BAD);
Note: See TracBrowser for help on using the repository browser.