|
CIRCT 24.0.0git
|
#include <FSMGraph.h>


Static Public Member Functions | |
| static std::string | getNodeLabel (circt::fsm::FSMStateNode *node, circt::fsm::FSMGraph *) |
| static std::string | getNodeDescription (circt::fsm::FSMStateNode *node, circt::fsm::FSMGraph *) |
| template<typename Iterator> | |
| static std::string | getEdgeAttributes (const circt::fsm::FSMStateNode *node, Iterator it, circt::fsm::FSMGraph *) |
| static void | addCustomGraphFeatures (const circt::fsm::FSMGraph *graph, GraphWriter< circt::fsm::FSMGraph * > &gw) |
Definition at line 316 of file FSMGraph.h.
|
inlinestatic |
Definition at line 355 of file FSMGraph.h.
References circt::fsm::detail::dotSafeDumpOps(), and circt::fsm::FSMGraph::getMachine().
|
inlinestatic |
Definition at line 333 of file FSMGraph.h.
References attrs, circt::fsm::detail::dotSafeDumpOps(), and circt::fsm::FSMTransitionEdge::getTransition().
|
inlinestatic |
Definition at line 326 of file FSMGraph.h.
References circt::fsm::detail::dumpOps(), and circt::fsm::FSMStateNode::getState().
|
inlinestatic |
Definition at line 320 of file FSMGraph.h.
References circt::fsm::FSMStateNode::getState().