org.semanticweb.HermiT.debugger
Class DerivationHistory.Disjunction

java.lang.Object
  extended by 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

Field Summary
protected  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()
           
 Object getDLPredicate(int disjunctIndex)
           
 int getNumberOfDisjuncts()
           
 String toString()
           
 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 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 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.