source: vis_dev/vis-2.1/share/help/reset_fairnessCmd.txt @ 11

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

Add vis
File size: 516 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
9   that all states are "accepting".
10
11   Command options:
12
13   -h
14          Print the command usage.
15     _________________________________________________________________
16
17   Last updated on 20050519 10h16
Note: See TracBrowser for help on using the repository browser.