Class AbstractImplicitPlacesRemover

    • Field Detail

      • transitions

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

        protected final ESTLog log
    • Constructor Detail

      • AbstractImplicitPlacesRemover

        public AbstractImplicitPlacesRemover​(java.lang.String[] transitions,
                                             ESTLog log)
    • Method Detail

      • implicitRelatedToPlace

        public abstract java.util.ArrayList<ESTPlace> implicitRelatedToPlace​(ESTPlace specificPlace,
                                                                             java.util.ArrayList<ESTPlace> placesToCheck)
      • getMask

        protected int getMask​(int position,
                              java.lang.String[] transitions)