Package org.tweetyproject.logics.commons.analysis

Class InconsistencyMeasureResult

java.lang.Object

org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult

public class InconsistencyMeasureResult
extends Object

This class represents the results the result of a call to an inconsistency measure with a knowledge base, i.e. the inconsistency value, if found, the computation time and the timeout status.

Author:

Anna Gessler

See Also:

• InconsistencyMeasureEvaluator

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	InconsistencyMeasureResult.Status	Status of an InconsistencyMeasureResult: OK means that an inconsistency value has been computed.

Method Summary

Modifier and Type	Method	Description
long	getElapsedTime()
InconsistencyMeasureResult.Status	getStatus()
double	getValue()
static InconsistencyMeasureResult	ok(double result)
void	setElapsedTime(long time)
static InconsistencyMeasureResult	timeout()

Methods inherited from class java.lang.Object

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

Method Details

timeout

public static InconsistencyMeasureResult timeout()

ok

public static InconsistencyMeasureResult ok(double result)

getStatus

public InconsistencyMeasureResult.Status getStatus()

getValue

public double getValue()

getElapsedTime

public long getElapsedTime()

setElapsedTime

public void setElapsedTime(long time)