Namespaces
namespace	detail

Classes
class	FSMTransitionEdge
	This is an edge in the FSMGraph. More...
class	FSMStateNode
	This is a Node in the FSMGraph. Each node represents a state in the FSM. More...
class	FSMGraph
	Graph representing FSM machines, their states and transitions between these. More...

Functions
std::unique_ptr< mlir::Pass >	createPrintFSMGraphPass ()

Function Documentation

◆ createPrintFSMGraphPass()

std::unique_ptr< mlir::Pass > circt::fsm::createPrintFSMGraphPass ( )

Definition at line 45 of file PrintFSMGraph.cpp.