Class AbstractCandidateTraverser

    • 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.ArrayList<MyPlace> roots
      • currentRoot

        protected MyPlace 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.ArrayList<MyPlace> computeBaseRoots()
      • placeSetToString

        protected java.lang.String placeSetToString​(java.util.ArrayList<MyPlace> placeSet)
      • getMappedTransitionIndex

        protected int getMappedTransitionIndex​(int outIndex)
      • getLargestOutTrIndex

        protected int getLargestOutTrIndex​(int outKey)
      • getLowestOutTrIndex

        protected int getLowestOutTrIndex​(int outKey)
      • getLargestInTrIndex

        protected int getLargestInTrIndex​(int inKey)
      • hasSingleMaximalOutTransition

        protected boolean hasSingleMaximalOutTransition​(MyPlace place)
      • getCurrentDepth

        protected int getCurrentDepth​(MyPlace place)
      • getNextRoot

        protected MyPlace getNextRoot()
      • getMask

        public int getMask​(int pos)
      • getTransitionNames

        public java.util.Collection<java.lang.String> getTransitionNames​(int key,
                                                                         java.lang.String[] transitions)