Class FSAInfo.NodeVisitor

  • Enclosing class:
    FSAInfo

    private static class FSAInfo.NodeVisitor
    extends java.lang.Object
    Computes the exact number of states and nodes by recursively traversing the FSA.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) int arcs  
      private FSA fsa  
      (package private) int nodes  
      (package private) int totalArcs  
      (package private) java.util.BitSet visitedArcs  
      (package private) java.util.BitSet visitedNodes  
    • Constructor Summary

      Constructors 
      Constructor Description
      NodeVisitor​(FSA fsa)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void visitNode​(int node)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • visitedArcs

        final java.util.BitSet visitedArcs
      • visitedNodes

        final java.util.BitSet visitedNodes
      • nodes

        int nodes
      • arcs

        int arcs
      • totalArcs

        int totalArcs
      • fsa

        private final FSA fsa
    • Constructor Detail

      • NodeVisitor

        NodeVisitor​(FSA fsa)
    • Method Detail

      • visitNode

        public void visitNode​(int node)