Class BenchmarkResult
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult
-
public class BenchmarkResult extends java.lang.Object
A wrapper for the information we collect during benchmark calls.- Author:
- Mathias Hofer
-
-
Field Summary
Fields Modifier and Type Field Description private boolean
correct
true if the found models are also in the solution files.private int
correctModels
private long
endTimeInMillis
The ending time of the reasonerprivate java.lang.Throwable
exception
the thrown exception or nullprivate int
modelCount
the number of models returned by the reasonerprivate int
modelDifference
negative if we found less models than in the solution file, positive if we found more and 0 otherwiseprivate long
startTimeInMillis
The starting time of the reasoner
-
Constructor Summary
Constructors Constructor Description BenchmarkResult(int modelCount, int modelDifference, int correctModels, boolean correct, long startTimeInMillis, long endTimeInMillis)
BenchmarkResult(java.lang.Throwable exception)
-
Method Summary
Modifier and Type Method Description int
getCorrectModels()
long
getEndTimeInMillis()
java.lang.Throwable
getException()
int
getModelCount()
int
getModelDifference()
long
getStartTimeInMillis()
boolean
isCorrect()
-
-
-
Field Detail
-
exception
private java.lang.Throwable exception
the thrown exception or null
-
modelCount
private int modelCount
the number of models returned by the reasoner
-
modelDifference
private int modelDifference
negative if we found less models than in the solution file, positive if we found more and 0 otherwise
-
correctModels
private int correctModels
-
correct
private boolean correct
true if the found models are also in the solution files. is trivially true if the reasoner found no models at all!
-
startTimeInMillis
private long startTimeInMillis
The starting time of the reasoner
-
endTimeInMillis
private long endTimeInMillis
The ending time of the reasoner
-
-
Method Detail
-
getException
public java.lang.Throwable getException()
- Returns:
- the exception
-
getModelCount
public int getModelCount()
- Returns:
- the modelCount
-
getModelDifference
public int getModelDifference()
- Returns:
- the modelDifference
-
getCorrectModels
public int getCorrectModels()
-
isCorrect
public boolean isCorrect()
- Returns:
- the correct
-
getStartTimeInMillis
public long getStartTimeInMillis()
- Returns:
- the startTimeInMillis
-
getEndTimeInMillis
public long getEndTimeInMillis()
- Returns:
- the endTimeInMillis
-
-