Class AbstractCandidateTraverser

  • Direct Known Subclasses:
    BFSCandidateTraverser

    public abstract class AbstractCandidateTraverser
    extends java.lang.Object
    • Field Detail

      • transitions

        protected final java.lang.String[] transitions
      • outTrMapping

        protected int[] outTrMapping
      • largestOutIndex

        protected int largestOutIndex
      • largestInIndex

        protected int largestInIndex
      • roots

        protected java.util.LinkedList<ESTPlace> roots
      • currentRoot

        protected ESTPlace currentRoot
      • limitDepth

        protected boolean limitDepth
      • depthLimit

        protected int depthLimit
    • Constructor Detail

      • AbstractCandidateTraverser

        public AbstractCandidateTraverser​(java.lang.String[] transitions,
                                          int[] outTrMapping,
                                          Parameters parameters)
    • Method Detail

      • computeBaseRoots

        protected java.util.LinkedList<ESTPlace> computeBaseRoots()
      • getMappedTransitionIndex

        protected int getMappedTransitionIndex​(int outIndex)
      • getLargestOutTrIndex

        protected int getLargestOutTrIndex​(int outKey)
      • getLargestInTrIndex

        protected int getLargestInTrIndex​(int inKey)
      • hasSingleMaximalOutTransition

        protected boolean hasSingleMaximalOutTransition​(ESTPlace place)
      • getCurrentDepth

        protected int getCurrentDepth​(ESTPlace place)
      • getNextRoot

        protected ESTPlace getNextRoot()
      • getMask

        public int getMask​(int pos)