Class AbstractImplicitPlacesRemover

    • Field Detail

      • transitions

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

        protected final MyLog log
    • Constructor Detail

      • AbstractImplicitPlacesRemover

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

      • removeAllIPs

        public abstract MyProcessModel removeAllIPs​(MyProcessModel inputPM,
                                                    java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> relevantTraceVariants)
      • implicitRelatedToPlace

        public abstract java.util.ArrayList<MyPlace> implicitRelatedToPlace​(MyPlace specificPlace,
                                                                            java.util.ArrayList<MyPlace> placesToCheck,
                                                                            java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> relevantTraceVariants)
      • removeAllIPsAndRepair

        public abstract MyProcessModel removeAllIPsAndRepair​(MyProcessModel inputPM,
                                                             java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> relevantTraceVariants)
      • implicitAndRepairRelatedToPlace

        public abstract java.lang.Object[] implicitAndRepairRelatedToPlace​(MyPlace specificPlace,
                                                                           java.util.ArrayList<MyPlace> placesToCheck,
                                                                           java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> relevantTraceVariants)
      • implicitRelatedToPlace

        public java.util.ArrayList<MyPlace> implicitRelatedToPlace​(MyPlace specificPlace,
                                                                   MyProcessModel inputPM,
                                                                   java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> relevantTraceVariants)
      • implicitAndRepairRelatedToPlace

        public java.lang.Object[] implicitAndRepairRelatedToPlace​(MyPlace specificPlace,
                                                                  MyProcessModel inputPM)
      • implicitAndRepairRelatedToPlace

        public java.lang.Object[] implicitAndRepairRelatedToPlace​(MyPlace specificPlace,
                                                                  MyProcessModel inputPM,
                                                                  java.util.ArrayList<java.util.ArrayList<java.lang.Integer>> relevantTraceVariants)
      • getMask

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