source: vis_dev/vis-2.1/share/help/print_fairnessCmd.txt @ 15

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

Add vis
File size: 599 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)
8   associated  with  the  FSM  of  the flattened network. By default, the
9   flattened  network has the single constraint TRUE, indicating that all
10   paths are fair.
11
12   Command options:
13
14   -h
15          Print the command usage.
16     _________________________________________________________________
17
18   Last updated on 20050519 10h16
Note: See TracBrowser for help on using the repository browser.