org.semanticweb.HermiT.debugger
Interface DerivationHistory.Fact

All Superinterfaces:
java.io.Serializable
All Known Implementing Classes:
DerivationHistory.Atom, DerivationHistory.Disjunction
Enclosing class:
DerivationHistory

protected static interface DerivationHistory.Fact
extends java.io.Serializable


Method Summary
 DerivationHistory.Derivation getDerivation()
           
 java.lang.String toString(Prefixes prefixes)
           
 

Method Detail

toString

java.lang.String toString(Prefixes prefixes)

getDerivation

DerivationHistory.Derivation getDerivation()