Uses of Class
org.semanticweb.HermiT.tableau.InterruptFlag

Packages that use InterruptFlag
org.semanticweb.HermiT   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.tableau   
 

Uses of InterruptFlag in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT declared as InterruptFlag
protected  InterruptFlag Reasoner.m_interruptFlag
           
 

Methods in org.semanticweb.HermiT with parameters of type InterruptFlag
protected static Tableau Reasoner.createTableau(InterruptFlag interruptFlag, Configuration config, DLOntology permanentDLOntology, DLOntology additionalDLOntology, Prefixes prefixes)
           
 

Uses of InterruptFlag in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials declared as InterruptFlag
protected  InterruptFlag AbstractExpansionStrategy.m_interruptFlag
           
 

Uses of InterruptFlag in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as InterruptFlag
protected  InterruptFlag InstanceManager.m_interruptFlag
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type InterruptFlag
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Tableau tableau, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)
           
 

Uses of InterruptFlag in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as InterruptFlag
protected  InterruptFlag Tableau.m_interruptFlag
           
protected  InterruptFlag NominalIntroductionManager.m_interruptFlag
           
protected  InterruptFlag DLClauseEvaluator.m_interruptFlag
           
protected  InterruptFlag DescriptionGraphManager.m_interruptFlag
           
protected  InterruptFlag DatatypeManager.m_interruptFlag
           
 

Methods in org.semanticweb.HermiT.tableau that return InterruptFlag
 InterruptFlag Tableau.getInterruptFlag()
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type InterruptFlag
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, java.util.Map<java.lang.String,java.lang.Object> parameters)