Graph Completion:
----------------
Default Input Files:  completion.data, completion_events.data
Default Output File:  completion.results

completion.results contains completion of completion.data FSM with list of events in completion_events.data
The completion operation makes sure each state contains the specified events specified in completion_events.data. If there is no transition from a state in the FSM on some event, there will be a transition added to the "dump" state.


Underlying function: void CompleteGraph(FILE *fp, FSM *fsm_in, FSM *fsm_out)
Modified Parameters: FSM *fsm_out
Temporary Files Used: tmp.out
Source: Completion.h, graph.c

Completes the graph of a finite state machine.
fp is a pointer to the file containing the event set of the machine whose graph is to be completed.
fsm_in is a pointer to an FSM structure to be completed.
fsm_out is a pointer to a FSM structure where the state machine of the completed graph is stored.
