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

Packages that use InterruptFlag

Package	Description
org.semanticweb.HermiT.hierarchy
org.semanticweb.HermiT.tableau

Uses of InterruptFlag in org.semanticweb.HermiT.hierarchy

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type InterruptFlag

Constructor and Description
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)

Uses of InterruptFlag in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau that return InterruptFlag

Modifier and Type	Method and Description
InterruptFlag	Tableau.getInterruptFlag()

Constructors in org.semanticweb.HermiT.tableau with parameters of type InterruptFlag

Constructor and Description
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, Map<String,Object> parameters)