org.semanticweb.HermiT.debugger

Class DerivationHistory.DisjunctApplication

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

org.semanticweb.HermiT.debugger.DerivationHistory.DisjunctApplication

All Implemented Interfaces:

Serializable

Enclosing class:

DerivationHistory

public static class DerivationHistory.DisjunctApplication
extends DerivationHistory.Derivation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DisjunctApplication(DerivationHistory.Disjunction disjunction, int disjunctIndex)

Method Summary

Modifier and Type	Method and Description
int	getDisjunctIndex()
int	getNumberOfPremises()
DerivationHistory.Fact	getPremise(int premiseIndex)
String	toString(Prefixes prefixes)

Methods inherited from class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DisjunctApplication

public DisjunctApplication(DerivationHistory.Disjunction disjunction,
                           int disjunctIndex)

Method Detail

getDisjunctIndex

public int getDisjunctIndex()

getNumberOfPremises

public int getNumberOfPremises()

Specified by:

getNumberOfPremises in class DerivationHistory.Derivation

getPremise

public DerivationHistory.Fact getPremise(int premiseIndex)

Specified by:

getPremise in class DerivationHistory.Derivation

toString

public String toString(Prefixes prefixes)

Specified by:

toString in class DerivationHistory.Derivation