org.semanticweb.HermiT.debugger

Class DerivationHistory.UnknownDatatypeRestrictionDetection

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

org.semanticweb.HermiT.debugger.DerivationHistory.UnknownDatatypeRestrictionDetection

All Implemented Interfaces:

Serializable

Enclosing class:

DerivationHistory

public static class DerivationHistory.UnknownDatatypeRestrictionDetection
extends DerivationHistory.Derivation

Datatype restriction.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
UnknownDatatypeRestrictionDetection(DerivationHistory.Atom[] causes)

Method Summary

Modifier and Type	Method and Description
int	getNumberOfPremises()
DerivationHistory.Fact	getPremise(int premiseIndex)
String	toString(Prefixes prefixes)

Methods inherited from class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

UnknownDatatypeRestrictionDetection

public UnknownDatatypeRestrictionDetection(DerivationHistory.Atom[] causes)

Parameters:

causes - causes

Method Detail

getNumberOfPremises

public int getNumberOfPremises()

Specified by:

getNumberOfPremises in class DerivationHistory.Derivation

Returns:

number of premises

getPremise

public DerivationHistory.Fact getPremise(int premiseIndex)

Specified by:

getPremise in class DerivationHistory.Derivation

Parameters:

premiseIndex - premise index

Returns:

fact

toString

public String toString(Prefixes prefixes)

Specified by:

toString in class DerivationHistory.Derivation

Parameters:

prefixes - prefixes

Returns:

string