org.semanticweb.HermiT.debugger

Class DerivationHistory.ExistentialExpansion

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

org.semanticweb.HermiT.debugger.DerivationHistory.ExistentialExpansion

All Implemented Interfaces:

Serializable

Enclosing class:

DerivationHistory

public static class DerivationHistory.ExistentialExpansion
extends DerivationHistory.Derivation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExistentialExpansion(DerivationHistory.Atom existentialAtom)

Method Summary

Modifier and Type	Method and Description
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

ExistentialExpansion

public ExistentialExpansion(DerivationHistory.Atom existentialAtom)

Method Detail

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