org.semanticweb.HermiT.debugger

Class DerivationHistory.Derivation

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

DerivationHistory.BaseFact, DerivationHistory.ClashDetection, DerivationHistory.DatatypeChecking, DerivationHistory.DisjunctApplication, DerivationHistory.DLClauseApplication, DerivationHistory.ExistentialExpansion, DerivationHistory.GraphChecking, DerivationHistory.Merging, DerivationHistory.UnknownDatatypeRestrictionDetection

Enclosing class:

DerivationHistory

public abstract static class DerivationHistory.Derivation
extends Object
implements Serializable

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Derivation()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Derivation

public Derivation()

Method Detail

toString

public abstract String toString(Prefixes prefixes)

toString

public String toString()

Overrides:

toString in class Object

getNumberOfPremises

public abstract int getNumberOfPremises()

getPremise

public abstract DerivationHistory.Fact getPremise(int premiseIndex)