|
||||||||||
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 |