public class ExperimentResults
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
int |
analysedModels |
java.lang.Long |
analysisPhase |
java.lang.Long |
monotonicityRunningTime |
java.lang.Long |
totalRunningTime |
| Constructor and Description |
|---|
ExperimentResults() |
| Modifier and Type | Method and Description |
|---|---|
void |
addAnalysedModel() |
void |
experimentResults(long runningTime) |
void |
startAnalysisPhase() |
void |
startMeasuringMonotonicity() |
void |
stopAnalysisPhase() |
void |
stopMeasuringMonotonicity() |
public java.lang.Long totalRunningTime
public java.lang.Long monotonicityRunningTime
public java.lang.Long analysisPhase
public int analysedModels
public void addAnalysedModel()
public void experimentResults(long runningTime)
public void startMeasuringMonotonicity()
public void stopMeasuringMonotonicity()
public void startAnalysisPhase()
public void stopAnalysisPhase()