org.semanticweb.HermiT.debugger
Class DerivationHistory.Disjunction

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction
All Implemented Interfaces:
java.io.Serializable, DerivationHistory.Fact
Enclosing class:
DerivationHistory

public static class DerivationHistory.Disjunction
extends java.lang.Object
implements DerivationHistory.Fact

See Also:
Serialized Form

Field Summary
protected  java.lang.Object[][] m_atoms
           
protected  DerivationHistory.Derivation m_derivedBy
           
 
Constructor Summary
DerivationHistory.Disjunction(GroundDisjunction groundDisjunction, DerivationHistory.Derivation derivedBy)
           
 
Method Summary
 Node getArgument(int disjunctIndex, int argumentIndex)
           
 DerivationHistory.Derivation getDerivation()
           
 java.lang.Object getDLPredicate(int disjunctIndex)
           
 int getNumberOfDisjuncts()
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_atoms

protected final java.lang.Object[][] m_atoms

m_derivedBy

protected final DerivationHistory.Derivation m_derivedBy
Constructor Detail

DerivationHistory.Disjunction

public DerivationHistory.Disjunction(GroundDisjunction groundDisjunction,
                                     DerivationHistory.Derivation derivedBy)
Method Detail

getNumberOfDisjuncts

public int getNumberOfDisjuncts()

getDLPredicate

public java.lang.Object getDLPredicate(int disjunctIndex)

getArgument

public Node getArgument(int disjunctIndex,
                        int argumentIndex)

getDerivation

public DerivationHistory.Derivation getDerivation()
Specified by:
getDerivation in interface DerivationHistory.Fact

toString

public java.lang.String toString(Prefixes prefixes)
Specified by:
toString in interface DerivationHistory.Fact

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object