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

Constructor Summary

Constructors

Constructor and Description
Atom(Object[] tuple, DerivationHistory.Derivation derivedBy)

Method Summary

Modifier and Type	Method and Description
Node	getArgument(int index)
int	getArity()
DerivationHistory.Derivation	getDerivation()
Object	getDLPredicate()
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Atom

public 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

Returns:

derivation

toString

public String toString(Prefixes prefixes)

Specified by:

toString in interface DerivationHistory.Fact

Parameters:

prefixes - prefixes

Returns:

toString

toString

public String toString()

Overrides:

toString in class Object