Class PlaceStatistics


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

      • numGoodMoves

        public long numGoodMoves
      • numModelMoves

        public long numModelMoves
      • numLogMoves

        public long numLogMoves
      • numDataMoves

        public long numDataMoves
      • numGoodWriteOps

        public long numGoodWriteOps
      • numWrongWriteOps

        public long numWrongWriteOps
      • numMissingWriteOps

        public long numMissingWriteOps
      • numGoodWritesForGuard

        public long numGoodWritesForGuard
      • numWrongWritesForGuard

        public long numWrongWritesForGuard
      • numMissingWritesForGuard

        public long numMissingWritesForGuard
      • observedLogMoves

        public com.google.common.collect.Multiset<java.lang.String> observedLogMoves
    • Constructor Detail

      • PlaceStatistics

        public PlaceStatistics()
    • Method Detail

      • getObservedMoves

        public long getObservedMoves()
      • getObservedWrites

        public long getObservedWrites()
      • getLocalEventViolations

        public double getLocalEventViolations()
      • getLocalDataViolations

        public double getLocalDataViolations()
      • incLogMoves

        public void incLogMoves()
      • incGoodMoves

        public void incGoodMoves()
      • incModelMoves

        public void incModelMoves()
      • incMissingWriteOps

        public void incMissingWriteOps​(long missingWriteOps)
      • incDataMoves

        public void incDataMoves()
      • incWrongWriteOps

        public void incWrongWriteOps​(long incorrectWritings)
      • incGoodWriteOps

        public void incGoodWriteOps​(long correctWritings)
      • addLogMove

        public void addLogMove​(java.lang.String string)