|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||