Uses of Class
org.semanticweb.HermiT.debugger.DerivationViewer.DerivationTreeTreeModel

Packages that use DerivationViewer.DerivationTreeTreeModel
org.semanticweb.HermiT.debugger   
 

Uses of DerivationViewer.DerivationTreeTreeModel in org.semanticweb.HermiT.debugger
 

Fields in org.semanticweb.HermiT.debugger declared as DerivationViewer.DerivationTreeTreeModel
protected  DerivationViewer.DerivationTreeTreeModel DerivationViewer.m_derivationTreeTreeModel