state_transition_graph.h File Reference

This file contains the struct that holds the state transition graph of an FSM. More...

#include "hal_core/defines.h"
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/utilities/result.h"
#include <filesystem>
#include <map>
#include <string>
#include <utility>
#include <vector>

Include dependency graph for state_transition_graph.h:

Go to the source code of this file.

Classes
struct	hal::solve_fsm::StateTransitionGraph
	The state transition graph of an FSM, i.e., the behavior that its netlist implements. More...

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

Detailed Description

This file contains the struct that holds the state transition graph of an FSM.

Definition in file state_transition_graph.h.