Uses of Interface
org.semanticweb.HermiT.debugger.DerivationHistory.Fact

Packages that use DerivationHistory.Fact
org.semanticweb.HermiT.debugger   
 

Uses of DerivationHistory.Fact in org.semanticweb.HermiT.debugger
 

Classes in org.semanticweb.HermiT.debugger that implement DerivationHistory.Fact
static class DerivationHistory.Atom
           
static class DerivationHistory.Disjunction
           
 

Fields in org.semanticweb.HermiT.debugger declared as DerivationHistory.Fact
protected  DerivationHistory.Fact DerivationViewer.DerivationTreeTreeModel.m_root
           
 

Methods in org.semanticweb.HermiT.debugger that return DerivationHistory.Fact
abstract  DerivationHistory.Fact DerivationHistory.Derivation.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.DLClauseApplication.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.DisjunctApplication.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.Merging.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.GraphChecking.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.ExistentialExpansion.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.ClashDetection.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.DatatypeChecking.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.UnknownDatatypeRestrictionDetection.getPremise(int premiseIndex)
           
 DerivationHistory.Fact DerivationHistory.BaseFact.getPremise(int premiseIndex)
           
 

Constructors in org.semanticweb.HermiT.debugger with parameters of type DerivationHistory.Fact
DerivationViewer.DerivationTreeTreeModel(DerivationHistory.Fact root)
           
DerivationViewer(Prefixes prefixes, DerivationHistory.Fact root)