org.semanticweb.HermiT.debugger

Class DerivationHistory.Merging

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

org.semanticweb.HermiT.debugger.DerivationHistory.Merging

All Implemented Interfaces:

Serializable

Enclosing class:

DerivationHistory

public static class DerivationHistory.Merging
extends DerivationHistory.Derivation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Merging(DerivationHistory.Atom equality, DerivationHistory.Atom fromAtom)

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

Merging

public Merging(DerivationHistory.Atom equality,
               DerivationHistory.Atom fromAtom)

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