org.semanticweb.HermiT.debugger
Class DerivationHistory.Atom

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

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

See Also:
Serialized Form

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

protected final Object[] m_tuple

m_derivedBy

protected final DerivationHistory.Derivation m_derivedBy
Constructor Detail

DerivationHistory.Atom

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

getDLPredicate

public 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 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.