Enable map (command)

File: enable_map

Description:  Lists events to be enabled/disabled at each state of a supervisor FSM with respect to a system FSM.

Input:   G - reference FSM


 * H - supremal controllable FSM

Output: List of events to be enabled and disabled at each state