Write o (command)

File: write_o

Description: This program writes all the observable events in the FSM into an events data file.

Input: h.fsm - Input FSM

Output: h.events - List of observable events in h.fsm