org.semanticweb.HermiT.debugger

Class DerivationHistory.DLClauseApplication

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication

All Implemented Interfaces:

Serializable

Enclosing class:

DerivationHistory

public static class DerivationHistory.DLClauseApplication
extends DerivationHistory.Derivation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DLClauseApplication(DLClause dlClause, DerivationHistory.Atom[] premises)

Method Summary

Modifier and Type	Method and Description
DLClause	getDLClause()
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

DLClauseApplication

public DLClauseApplication(DLClause dlClause,
                           DerivationHistory.Atom[] premises)

Method Detail

getDLClause

public DLClause getDLClause()

getNumberOfPremises

public int getNumberOfPremises()

Specified by:

getNumberOfPremises in class DerivationHistory.Derivation

getPremise

public DerivationHistory.Fact getPremise(int premiseIndex)

Specified by:

getPremise in class DerivationHistory.Derivation

toString

public String toString(Prefixes prefixes)

Specified by:

toString in class DerivationHistory.Derivation