org.semanticweb.HermiT.debugger
Class DerivationHistory.Derivation

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.DerivationHistory.Derivation
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
DerivationHistory.BaseFact, DerivationHistory.ClashDetection, DerivationHistory.DatatypeChecking, DerivationHistory.DisjunctApplication, DerivationHistory.DLClauseApplication, DerivationHistory.ExistentialExpansion, DerivationHistory.GraphChecking, DerivationHistory.Merging, DerivationHistory.UnknownDatatypeRestrictionDetection
Enclosing class:
DerivationHistory

public abstract static class DerivationHistory.Derivation
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Constructor Summary
DerivationHistory.Derivation()
           
 
Method Summary
abstract  int getNumberOfPremises()
           
abstract  DerivationHistory.Fact getPremise(int premiseIndex)
           
 java.lang.String toString()
           
abstract  java.lang.String toString(Prefixes prefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DerivationHistory.Derivation

public DerivationHistory.Derivation()
Method Detail

toString

public abstract java.lang.String toString(Prefixes prefixes)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getNumberOfPremises

public abstract int getNumberOfPremises()

getPremise

public abstract DerivationHistory.Fact getPremise(int premiseIndex)