Enum InconsistencyMeasureResult.Status

java.lang.Object
java.lang.Enum<InconsistencyMeasureResult.Status>
org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult.Status
All Implemented Interfaces:
Serializable, Comparable<InconsistencyMeasureResult.Status>, Constable
Enclosing class:
InconsistencyMeasureResult

public static enum InconsistencyMeasureResult.Status extends Enum<InconsistencyMeasureResult.Status>
Enum representing the status of an InconsistencyMeasureResult.
  • OK: Indicates that an inconsistency value has been successfully computed.
  • TIMEOUT: Indicates that the computation timed out before an inconsistency value could be determined.