org.semanticweb.HermiT.debugger
Interface DerivationHistory.Fact

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

protected static interface DerivationHistory.Fact
extends Serializable


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

Method Detail

toString

String toString(Prefixes prefixes)

getDerivation

DerivationHistory.Derivation getDerivation()


Copyright © 2012. All Rights Reserved.