A diagnosability (command)

File: a_diagnosability

Description: This program generates a stochastic diagnoser and uses it to test for A-Diagnosability.

Input:   H.fsm - Input FSM


 * H.stoc- Stochastic information for FSM


 * H.ft - Failure Partition for building diagnoser of H.fsm


 * out.txt - Output for command line version

Output: Whether H.fsm is A-Diagnosable or not