org.semanticweb.HermiT.debugger

Class DerivationHistory.Disjunction

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Disjunction

All Implemented Interfaces:

Serializable, DerivationHistory.Fact

Enclosing class:

DerivationHistory

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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Disjunction(GroundDisjunction groundDisjunction, DerivationHistory.Derivation derivedBy)

Method Summary

Modifier and Type	Method and Description
Node	getArgument(int disjunctIndex, int argumentIndex)
DerivationHistory.Derivation	getDerivation()
Object	getDLPredicate(int disjunctIndex)
int	getNumberOfDisjuncts()
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

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

Constructor Detail

Disjunction

public Disjunction(GroundDisjunction groundDisjunction,
                   DerivationHistory.Derivation derivedBy)

Method Detail

getNumberOfDisjuncts

public int getNumberOfDisjuncts()

getDLPredicate

public Object getDLPredicate(int disjunctIndex)

getArgument

public Node getArgument(int disjunctIndex,
                        int argumentIndex)

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