类 Profiler.DecisionEvent

  • 封闭类:
    Profiler

    public static class Profiler.DecisionEvent
    extends java.lang.Object
    • 字段详细资料

      • 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
    • 构造器详细资料

      • DecisionEvent

        public DecisionEvent()