source:
vis_dev/vis-2.1/examples/dcnew/prop.fair
@
11
Last change on this file since 11 was 11, checked in by , 13 years ago | |
---|---|
File size: 222 bytes |
Line | |
---|---|
1 | #.properties |
2 | #.automaton prop |
3 | #.blifmv prop.mv |
4 | #.connections (train=train, interpretation=interpretation) |
5 | #.state st1 = state:good |
6 | #.posfair |
7 | #.subsets {st1} |
8 | #.endfair |
9 | #.endautomaton |
10 | #.endproperties |
11 | |
12 | !(prop.state = good); |
Note: See TracBrowser
for help on using the repository browser.