org.semanticweb.HermiT.debugger
Class DerivationHistory.Atom

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

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

See Also:
Serialized Form

Field Summary
protected  DerivationHistory.Derivation m_derivedBy
           
protected  java.lang.Object[] m_tuple
           
 
Constructor Summary
DerivationHistory.Atom(java.lang.Object[] tuple, DerivationHistory.Derivation derivedBy)
           
 
Method Summary
 Node getArgument(int index)
           
 int getArity()
           
 DerivationHistory.Derivation getDerivation()
           
 java.lang.Object getDLPredicate()
           
 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_tuple

protected final java.lang.Object[] m_tuple

m_derivedBy

protected final DerivationHistory.Derivation m_derivedBy
Constructor Detail

DerivationHistory.Atom

public DerivationHistory.Atom(java.lang.Object[] tuple,
                              DerivationHistory.Derivation derivedBy)
Method Detail

getDLPredicate

public java.lang.Object getDLPredicate()

getArity

public int getArity()

getArgument

public Node getArgument(int index)

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