CIRCT 24.0.0git
Loading...
Searching...
No Matches
llvm::GraphTraits< circt::fsm::FSMStateNode * > Struct Reference

#include <FSMGraph.h>

Inheritance diagram for llvm::GraphTraits< circt::fsm::FSMStateNode * >:

Public Types

using NodeType = circt::fsm::FSMStateNode
using NodeRef = NodeType *
using ChildIteratorType

Static Public Member Functions

static NodeRef getNextState (const circt::fsm::FSMTransitionEdge *transition)
static NodeRef getEntryNode (NodeRef node)
static ChildIteratorType child_begin (NodeRef node)
static ChildIteratorType child_end (NodeRef node)

Detailed Description

Definition at line 271 of file FSMGraph.h.

Member Typedef Documentation

◆ ChildIteratorType

using llvm::GraphTraits< circt::fsm::FSMStateNode * >::ChildIteratorType
Initial value:
llvm::mapped_iterator<circt::fsm::FSMStateNode::iterator,
decltype(&getNextState)>
detail::AddressIterator< FSMTransitionList::iterator > iterator
Iterate outgoing FSM transitions of this state.
Definition FSMGraph.h:149
static NodeRef getNextState(const circt::fsm::FSMTransitionEdge *transition)
Definition FSMGraph.h:276

Definition at line 280 of file FSMGraph.h.

◆ NodeRef

using llvm::GraphTraits< circt::fsm::FSMStateNode * >::NodeRef = NodeType *

Definition at line 273 of file FSMGraph.h.

◆ NodeType

using llvm::GraphTraits< circt::fsm::FSMStateNode * >::NodeType = circt::fsm::FSMStateNode

Definition at line 272 of file FSMGraph.h.

Member Function Documentation

◆ child_begin()

ChildIteratorType llvm::GraphTraits< circt::fsm::FSMStateNode * >::child_begin ( NodeRef node)
inlinestatic

Definition at line 286 of file FSMGraph.h.

References circt::fsm::FSMStateNode::begin(), and getNextState().

◆ child_end()

ChildIteratorType llvm::GraphTraits< circt::fsm::FSMStateNode * >::child_end ( NodeRef node)
inlinestatic

Definition at line 290 of file FSMGraph.h.

References circt::fsm::FSMStateNode::end(), and getNextState().

◆ getEntryNode()

NodeRef llvm::GraphTraits< circt::fsm::FSMStateNode * >::getEntryNode ( NodeRef node)
inlinestatic

Definition at line 284 of file FSMGraph.h.

◆ getNextState()

NodeRef llvm::GraphTraits< circt::fsm::FSMStateNode * >::getNextState ( const circt::fsm::FSMTransitionEdge * transition)
inlinestatic

Definition at line 276 of file FSMGraph.h.

References circt::fsm::FSMTransitionEdge::getNextState().

Referenced by child_begin(), and child_end().


The documentation for this struct was generated from the following file: