org.semanticweb.HermiT.debugger
Class DerivationHistory.GraphChecking

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
      extended by org.semanticweb.HermiT.debugger.DerivationHistory.GraphChecking
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
DerivationHistory

public static class DerivationHistory.GraphChecking
extends DerivationHistory.Derivation

See Also:
Serialized Form

Field Summary
protected  DerivationHistory.Atom m_graph1
           
protected  DerivationHistory.Atom m_graph2
           
protected  int m_position1
           
protected  int m_position2
           
 
Constructor Summary
DerivationHistory.GraphChecking(DerivationHistory.Atom graph1, int position1, DerivationHistory.Atom graph2, int position2)
           
 
Method Summary
 int getNumberOfPremises()
           
 DerivationHistory.Fact getPremise(int premiseIndex)
           
 java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_graph1

protected final DerivationHistory.Atom m_graph1

m_position1

protected final int m_position1

m_graph2

protected final DerivationHistory.Atom m_graph2

m_position2

protected final int m_position2
Constructor Detail

DerivationHistory.GraphChecking

public DerivationHistory.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 java.lang.String toString(Prefixes prefixes)
Specified by:
toString in class DerivationHistory.Derivation