Class WindowLPMTree

    • Constructor Summary

      Constructors 
      Constructor Description
      WindowLPMTree​(int windowSize)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(int inEvent, int inPos, int outEvent, int outPos, java.util.Set<Place> places, java.util.Set<java.util.List<Place>> pathsViaSilent, java.util.Map<java.lang.String,​java.lang.Integer> labelMap)  
      java.util.Set<WindowLPMTreeNode> getNullNodes()  
      void interrupt()  
      void refreshPosition​(int pos)  
      java.lang.String toString()  
      void tryAddNullChildren​(int event, int eventPos)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • WindowLPMTree

        public WindowLPMTree​(int windowSize)
    • Method Detail

      • add

        public void add​(int inEvent,
                        int inPos,
                        int outEvent,
                        int outPos,
                        java.util.Set<Place> places,
                        java.util.Set<java.util.List<Place>> pathsViaSilent,
                        java.util.Map<java.lang.String,​java.lang.Integer> labelMap)
      • tryAddNullChildren

        public void tryAddNullChildren​(int event,
                                       int eventPos)
      • refreshPosition

        public void refreshPosition​(int pos)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object