org.semanticweb.HermiT.debugger
Class DerivationHistory.DisjunctApplication

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

public static class DerivationHistory.DisjunctApplication
extends DerivationHistory.Derivation

See Also:
Serialized Form

Field Summary
protected  int m_disjunctIndex
           
protected  DerivationHistory.Disjunction m_disjunction
           
 
Constructor Summary
DerivationHistory.DisjunctApplication(DerivationHistory.Disjunction disjunction, int disjunctIndex)
           
 
Method Summary
 int getDisjunctIndex()
           
 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_disjunction

protected final DerivationHistory.Disjunction m_disjunction

m_disjunctIndex

protected final int m_disjunctIndex
Constructor Detail

DerivationHistory.DisjunctApplication

public DerivationHistory.DisjunctApplication(DerivationHistory.Disjunction disjunction,
                                             int disjunctIndex)
Method Detail

getDisjunctIndex

public int getDisjunctIndex()

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