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

Derivation.

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)

Parameters:

prefixes - prefixes

Returns:

string

toString

public String toString()

Overrides:

toString in class Object

getNumberOfPremises

public abstract int getNumberOfPremises()

Returns:

number of premises

getPremise

public abstract DerivationHistory.Fact getPremise(int premiseIndex)

Parameters:

premiseIndex - premise index

Returns:

fact