org.semanticweb.HermiT.debugger
Class DerivationHistory.Atom
java.lang.Object
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
m_tuple
protected final Object[] m_tuple
m_derivedBy
protected final DerivationHistory.Derivation m_derivedBy
DerivationHistory.Atom
public DerivationHistory.Atom(Object[] tuple,
DerivationHistory.Derivation derivedBy)
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.