Class Profiler.DecisionEvent

  • Enclosing class:
    Profiler

    public static class Profiler.DecisionEvent
    extends Object
    • Field Detail

      • startIndex

        public int startIndex
      • k

        public int k
      • backtracks

        public boolean backtracks
      • evalSemPred

        public boolean evalSemPred
      • startTime

        public long startTime
      • stopTime

        public long stopTime
      • numMemoizationCacheHits

        public int numMemoizationCacheHits
      • numMemoizationCacheMisses

        public int numMemoizationCacheMisses
    • Constructor Detail

      • DecisionEvent

        public DecisionEvent()