Write st (command)

File: write_st

Description: This program writes all the states found in the given FSM into a states data file.

Input: h.fsm - Input FSM

Output: h.states - List of states in h.fsm