Package edu.cornell.mannlib.vitro.webapp.tboxreasoner

Class TBoxReasoner.Status

java.lang.Object

edu.cornell.mannlib.vitro.webapp.tboxreasoner.TBoxReasoner.Status

Enclosing interface:

TBoxReasoner

public static class TBoxReasoner.Status
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static TBoxReasoner.Status	ERROR
static TBoxReasoner.Status	SUCCESS

Method Summary

Modifier and Type	Method	Description
String	getExplanation()
static TBoxReasoner.Status	inconsistent(String explanation)
boolean	isConsistent()
boolean	isInErrorState()

Methods inherited from class java.lang.Object

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

Field Detail

SUCCESS

public static final TBoxReasoner.Status SUCCESS

ERROR

public static final TBoxReasoner.Status ERROR

Method Detail

inconsistent

public static final TBoxReasoner.Status inconsistent(String explanation)

isConsistent

public boolean isConsistent()

isInErrorState

public boolean isInErrorState()

getExplanation

public String getExplanation()