public final class TransitionStatistics
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
long |
numDataMoves |
long |
numGoodMoves |
long |
numGoodWriteOps |
long |
numGuardViolations |
long |
numMissingWriteOps |
long |
numModelMoves |
long |
numWrongWriteOps |
Constructor and Description |
---|
TransitionStatistics() |
Modifier and Type | Method and Description |
---|---|
double |
getGuardViolations() |
long |
getObservedMoves() |
long |
getObservedWrites() |
void |
incDataMoves() |
void |
incGoodMoves() |
void |
incGoodWriteOps(long increment) |
void |
incGuardViolations() |
void |
incMissingWriteOps(long increment) |
void |
incModelMoves() |
void |
incWrongWriteOps(long increment) |
public long numGoodMoves
public long numModelMoves
public long numDataMoves
public long numGoodWriteOps
public long numWrongWriteOps
public long numMissingWriteOps
public long numGuardViolations
public long getObservedMoves()
public long getObservedWrites()
public void incGoodMoves()
public void incModelMoves()
public void incDataMoves()
public void incGuardViolations()
public void incGoodWriteOps(long increment)
public void incWrongWriteOps(long increment)
public void incMissingWriteOps(long increment)
public double getGuardViolations()