org.semanticweb.HermiT.debugger
Class DerivationHistory.DLClauseApplication

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
      extended by org.semanticweb.HermiT.debugger.DerivationHistory.DLClauseApplication
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DerivationHistory

public static class DerivationHistory.DLClauseApplication
extends DerivationHistory.Derivation

See Also:
Serialized Form

Field Summary
protected  DLClause m_dlClause
           
protected  DerivationHistory.Atom[] m_premises
           
 
Constructor Summary
DerivationHistory.DLClauseApplication(DLClause dlClause, DerivationHistory.Atom[] premises)
           
 
Method Summary
 DLClause getDLClause()
           
 int getNumberOfPremises()
           
 DerivationHistory.Fact getPremise(int premiseIndex)
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_dlClause

protected final DLClause m_dlClause

m_premises

protected final DerivationHistory.Atom[] m_premises
Constructor Detail

DerivationHistory.DLClauseApplication

public DerivationHistory.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 java.lang.String toString(Prefixes prefixes)
Specified by:
toString in class DerivationHistory.Derivation