UnMasking:
---------
Default Input Files:  unmask.data, (unmask.data_events)
Default Output File:  unmask.results

unmask.data_events contains the masking information (controllability info is ignored) of unmask.data.
unmask.data_events is obtained automatically by concatenating "_events" to the first input filename. 
unmask.data_events is to be created before running this function through "Cont/Mask Info Table" in the GUI. Do not specify this event file as one of the input files.
 
Underlying function: void fsm_unmask(FILE *fp, FSM *fsm1_ptr,FSM *fsm2_ptr)
Modified Parameters: FSM *fsm2_ptr
Temporary Files Used: mlist0.tmp
Source: UnMask.h, fsm_general.c


Unmasks a state machine i.e. does the inverse of the mask function.
fp is a pointer to the input file containing the masking information.  fp is generated from unmask.data_events before calling this function.
fsm1_ptr is a pointer to the machine to be unmasked.
fsm2_ptr is a pointer to the resultant unmasked FSM.