org.semanticweb.HermiT.debugger
Class DerivationHistory.Disjunction
java.lang.Object
org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction
- All Implemented Interfaces:
- Serializable, DerivationHistory.Fact
- Enclosing class:
- DerivationHistory
public static class DerivationHistory.Disjunction
- extends Object
- implements DerivationHistory.Fact
- See Also:
- Serialized Form
m_atoms
protected final 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 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 String toString(Prefixes prefixes)
- Specified by:
toString
in interface DerivationHistory.Fact
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.