source: vis_dev/vis-2.3/share/help/print_fairnessCmd.txt @ 41

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

vis2.3
File size: 565 bytes
Line 
1
2  print_fairness - print the fairness constraint of the flattened network
3     _________________________________________________________________
4
5   print_fairness [-h]
6
7   Print the fairness constraint (i.e the set of Buchi conditions) associated
8   with the FSM of the flattened network. By default, the flattened network has
9   the single constraint TRUE, indicating that all paths are fair.
10
11   Command options:
12
13   -h
14          Print the command usage.
15     _________________________________________________________________
16
17   Last updated on 20100410 00h02
Note: See TracBrowser for help on using the repository browser.