Trim:
----
Default Input File :  trim.data
Default Output File:  trim.results
 
trim.results contains the trimmed FSM described in trim.data
The trim operation removes all states that do not lead to a final state and all states that are not reachable from the initial state.


Underlying function: void fsm_trim(FSM *fsm_ptr)
Modified Parameters: fsm_ptr
Source: Trim.h, fsm_general.c

Trims a state machine.  
fsm_ptr is a pointer to the FSM that is to be trimmed.
The trimmed machine is returned via fsm_ptr.
