Eventmap (command)

File: eventmap

Description: This program maps the indicator events.ift to the observable states in the system and writes the indicator map to the given ouptut file.

Input:   H.obs - List of observable events in H.fsm


 * events.ift - List of indicator events

Output: ind_events.ift - Failure Partition for indicator events