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