Package org.processmining.est2miner.models

Class PlugInStatistics

  • public class PlugInStatistics
extends java.lang.Object

    • Method Detail

      • resetStatistics

        public void resetStatistics()

      • getConsoleString

        public java.lang.String getConsoleString()

      • printStatisticsToConsole

        public void printStatisticsToConsole()

      • updateLevelStatistics

        public void updateLevelStatistics​(int currentTreeDepth,
                                  java.util.HashMap<java.lang.String,​java.lang.Integer> currentLevelStatistics)

      • incAcceptedPlaces

        public void incAcceptedPlaces​(int num)

      • incDelayedPlaces

        public void incDelayedPlaces​(int num)

      • incDiscardedPlaces

        public void incDiscardedPlaces​(int num)

      • incNumUnfitting

        public void incNumUnfitting()

      • incNumFitting

        public void incNumFitting()

      • incNumCutPaths

        public void incNumCutPaths​(int num)

      • incTimeCandidateFinding

        public void incTimeCandidateFinding​(long time)

      • incTimeImpTest

        public void incTimeImpTest​(long time)

      • incTimeEval

        public void incTimeEval​(long time)

      • getNumFitting

        public int getNumFitting()

      • getNumDiscardedPlaces

        public int getNumDiscardedPlaces()

      • getNumUnfitting

        public int getNumUnfitting()

      • getPrecision

        public double getPrecision()

      • getNumDelayedPlaces

        public int getNumDelayedPlaces()

      • setNumMergedPlaces

        public void setNumMergedPlaces​(int numMergedPlaces)

      • setPrecision

        public void setPrecision​(double precision)

      • setRemainingPotentialPlaces

        public void setRemainingPotentialPlaces​(int num)