org.semanticweb.HermiT.debugger

Class DerivationHistory.GraphChecking

java.lang.Object

org.semanticweb.HermiT.debugger.DerivationHistory.Derivation

org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking

All Implemented Interfaces:

Serializable

Enclosing class:

DerivationHistory

public static class DerivationHistory.GraphChecking
extends DerivationHistory.Derivation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
GraphChecking(DerivationHistory.Atom graph1, int position1, DerivationHistory.Atom graph2, int position2)

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

GraphChecking

public GraphChecking(DerivationHistory.Atom graph1,
                     int position1,
                     DerivationHistory.Atom graph2,
                     int position2)

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