Class TransitionStatistics


  • public final class TransitionStatistics
    extends java.lang.Object
    • Field Detail

      • numGoodMoves

        public long numGoodMoves
      • numModelMoves

        public long numModelMoves
      • numDataMoves

        public long numDataMoves
      • numGoodWriteOps

        public long numGoodWriteOps
      • numWrongWriteOps

        public long numWrongWriteOps
      • numMissingWriteOps

        public long numMissingWriteOps
      • numGuardViolations

        public long numGuardViolations
    • Constructor Detail

      • TransitionStatistics

        public TransitionStatistics()
    • Method Detail

      • getObservedMoves

        public long getObservedMoves()
      • getObservedWrites

        public long getObservedWrites()
      • incGoodMoves

        public void incGoodMoves()
      • incModelMoves

        public void incModelMoves()
      • incDataMoves

        public void incDataMoves()
      • incGuardViolations

        public void incGuardViolations()
      • incGoodWriteOps

        public void incGoodWriteOps​(long increment)
      • incWrongWriteOps

        public void incWrongWriteOps​(long increment)
      • incMissingWriteOps

        public void incMissingWriteOps​(long increment)
      • getGuardViolations

        public double getGuardViolations()