org.semanticweb.HermiT.debugger
Class DerivationHistory.BaseFact

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

public static class DerivationHistory.BaseFact
extends DerivationHistory.Derivation

See Also:
Serialized Form

Field Summary
static DerivationHistory.Derivation INSTANCE
           
 
Constructor Summary
DerivationHistory.BaseFact()
           
 
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

INSTANCE

public static DerivationHistory.Derivation INSTANCE
Constructor Detail

DerivationHistory.BaseFact

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