solve_fsm.h File Reference

This file contains the function to recover the state transition graph of a finite state machine. More...

#include "hal_core/utilities/result.h"
#include "solve_fsm/configuration.h"
#include "solve_fsm/state_transition_graph.h"

Include dependency graph for solve_fsm.h:

Go to the source code of this file.

Namespaces
	hal
	hal::solve_fsm
	Recovers the state transition graph of a finite state machine from the gate-level netlist that implements it.

Functions
Result< StateTransitionGraph >	hal::solve_fsm::solve_fsm (const Configuration &config)
	Recover the state transition graph of an FSM from the netlist that implements it. More...

Detailed Description

This file contains the function to recover the state transition graph of a finite state machine.

Definition in file solve_fsm.h.