Package net.sf.tweety.arg.adf.reasoner.test

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 reasoner
private java.lang.Throwable	exception	the thrown exception or null
private int	modelCount	the number of models returned by the reasoner
private int	modelDifference	negative if we found less models than in the solution file, positive if we found more and 0 otherwise
private 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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

BenchmarkResult

public BenchmarkResult(java.lang.Throwable exception)

Parameters:

exception -

BenchmarkResult

public BenchmarkResult(int modelCount,
                       int modelDifference,
                       int correctModels,
                       boolean correct,
                       long startTimeInMillis,
                       long endTimeInMillis)

Parameters:

modelCount -

modelDifference -

correctModels -

correct -

startTimeInMillis -

endTimeInMillis -

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