org.semanticweb.HermiT.debugger
Class DerivationHistory.Disjunction
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_atoms
protected final java.lang.Object[][] m_atoms
m_derivedBy
protected final DerivationHistory.Derivation m_derivedBy
DerivationHistory.Disjunction
public DerivationHistory.Disjunction(GroundDisjunction groundDisjunction,
DerivationHistory.Derivation derivedBy)
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