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

Implementation of 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)

Parameters:

groundDisjunction - disjunction

derivedBy - derivation

Method Detail

getNumberOfDisjuncts

public int getNumberOfDisjuncts()

Returns:

number of disjunctions

getDLPredicate

public Object getDLPredicate(int disjunctIndex)

Parameters:

disjunctIndex - index

Returns:

disjunct at index

getArgument

public Node getArgument(int disjunctIndex,
                        int argumentIndex)

Parameters:

disjunctIndex - disjunct index

argumentIndex - node index

Returns:

node at indexes

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