Change oprop (command)

File: change_oprop

Description: This program changes the observability properties of a given FSM. The routine has three modes:

ADD will add the events to the unobservable events list if they are not on it. REMOVE will remove the events from the unobservable events list if they are on it. CHANGE will add the events to the unobservable events list and remove all other events from the list.When run interactively, the user has an option of either inputting a file containing the events or inputting events manually. If an output file containing the events or inputting events manually. If an output file is specified, the FSM with the updated event properties will be written to that file. If no file is specified, the original input file will be overwritten.

Input: H.fsm - FSM

mode - a/r/c for the ADD, REMOVE, or CHANGE mode

input_format  - for interactive mode only: 1 to input a file list, 0 to enter manually. h.e - Unobservable events list (if input_format is 1)

Output: output.fsm - FSM with updated properties (written to input FSM file if no output file is specified)