solve_fsm Directory Reference

Files
file	configuration.h [code]
	This file contains the struct that holds the configuration of a run of the FSM solver.
file	plugin_solve_fsm.h [code]
file	solve_fsm.h [code]
	This file contains the function to recover the state transition graph of a finite state machine.
file	state_transition_graph.h [code]
	This file contains the struct that holds the state transition graph of an FSM.