Union:
-----
Default Input Files:  union1.data, union2.data
Default Output File:  union.results
 
union.results contains the union of union1.data FSM and union2.data FSM.


Underlying function: void fsm_union(FSM *fsm1_ptr,FSM *fsm2_ptr,FSM *fsm3_ptr)
Modified Parameters: FSM *fsm3_ptr
Source: Union.h fsm_operators.c

Generates the union of two FSMs fsm1_ptr and fsm2_ptr.
fsm3_ptr is a pointer to the resultant machine.
