Class eSTPluginStatistics


  • public class eSTPluginStatistics
    extends java.lang.Object
    • Constructor Detail

      • eSTPluginStatistics

        public eSTPluginStatistics​(double thresholdTau,
                                   double thresholdDelta,
                                   int maxDepth,
                                   int deltaAdaptionSteepness)
    • Method Detail

      • setLogProcessTime

        public void setLogProcessTime​(long startTime,
                                      long endTime)
      • setDiscoveryTime

        public void setDiscoveryTime​(long startTime,
                                     long endTime)
      • setPostprocessingTime

        public void setPostprocessingTime​(long startTime,
                                          long endTime)
      • setPluginStatisticsString

        public void setPluginStatisticsString​(java.lang.String pluginStatisticsString)
      • toString

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