org.semanticweb.HermiT.debugger

Class DerivationHistory.BaseFact

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

org.semanticweb.HermiT.debugger.DerivationHistory.BaseFact

All Implemented Interfaces:

Serializable

Enclosing class:

DerivationHistory

public static class DerivationHistory.BaseFact
extends DerivationHistory.Derivation

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static DerivationHistory.Derivation	INSTANCE

Constructor Summary

Constructors

Constructor and Description
BaseFact()

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

Field Detail

INSTANCE

public static final DerivationHistory.Derivation INSTANCE

Constructor Detail

BaseFact

public BaseFact()

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