source: vis_dev/vis-2.3/share/help/reset_fairnessCmd.txt @ 26

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

vis2.3
File size: 496 bytes
Line 
1
2  reset_fairness - reset the fairness constraint
3     _________________________________________________________________
4
5   reset_fairness [-h]
6
7   Remove any existing fairness constraint associated with the FSM of the
8   flattened network, and impose a single constraint, TRUE, indicating that all
9   states are "accepting".
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.