|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExistentialConcept | |
---|---|
org.semanticweb.HermiT.debugger | |
org.semanticweb.HermiT.existentials | |
org.semanticweb.HermiT.model | |
org.semanticweb.HermiT.monitor | |
org.semanticweb.HermiT.tableau |
Uses of ExistentialConcept in org.semanticweb.HermiT.debugger |
---|
Fields in org.semanticweb.HermiT.debugger declared as ExistentialConcept | |
---|---|
ExistentialConcept |
Debugger.NodeCreationInfo.m_createdByExistential
|
protected ExistentialConcept |
Debugger.m_lastExistentialConcept
|
Methods in org.semanticweb.HermiT.debugger with parameters of type ExistentialConcept | |
---|---|
void |
DerivationHistory.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
Debugger.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
DerivationHistory.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
Debugger.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
Constructors in org.semanticweb.HermiT.debugger with parameters of type ExistentialConcept | |
---|---|
Debugger.NodeCreationInfo(Node node,
Node createdByNode,
ExistentialConcept createdByExistential)
|
Uses of ExistentialConcept in org.semanticweb.HermiT.existentials |
---|
Fields in org.semanticweb.HermiT.existentials with type parameters of type ExistentialConcept | |
---|---|
protected java.util.List<ExistentialConcept> |
AbstractExpansionStrategy.m_processedExistentials
|
Uses of ExistentialConcept in org.semanticweb.HermiT.model |
---|
Subclasses of ExistentialConcept in org.semanticweb.HermiT.model | |
---|---|
class |
AtLeast
Represents at-least concepts, either for data ranges or concepts. |
class |
AtLeastConcept
Represents at-least concept. |
class |
AtLeastDataRange
Represents at-least concept. |
class |
ExistsDescriptionGraph
|
Uses of ExistentialConcept in org.semanticweb.HermiT.monitor |
---|
Methods in org.semanticweb.HermiT.monitor with parameters of type ExistentialConcept | |
---|---|
void |
TableauMonitorForwarder.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorFork.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorAdapter.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitor.existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorForwarder.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorFork.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorAdapter.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitor.existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorForwarder.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorFork.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitorAdapter.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
void |
TableauMonitor.existentialSatisfied(ExistentialConcept existentialConcept,
Node forNode)
|
Uses of ExistentialConcept in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau with type parameters of type ExistentialConcept | |
---|---|
protected java.util.List<java.util.List<ExistentialConcept>> |
Tableau.m_existentialConceptsBuffers
|
protected java.util.List<ExistentialConcept> |
Node.m_unprocessedExistentials
|
Methods in org.semanticweb.HermiT.tableau that return ExistentialConcept | |
---|---|
ExistentialConcept |
Node.getSomeUnprocessedExistential()
|
Methods in org.semanticweb.HermiT.tableau that return types with arguments of type ExistentialConcept | |
---|---|
protected java.util.List<ExistentialConcept> |
Tableau.getExistentialConceptsBuffer()
|
java.util.Collection<ExistentialConcept> |
Node.getUnprocessedExistentials()
|
Methods in org.semanticweb.HermiT.tableau with parameters of type ExistentialConcept | |
---|---|
protected void |
Node.addToUnprocessedExistentials(ExistentialConcept existentialConcept)
|
void |
ExistentialExpansionManager.markExistentialProcessed(ExistentialConcept existentialConcept,
Node forNode)
|
protected void |
Node.removeFromUnprocessedExistentials(ExistentialConcept existentialConcept)
|
Method parameters in org.semanticweb.HermiT.tableau with type arguments of type ExistentialConcept | |
---|---|
void |
Tableau.putExistentialConceptsBuffer(java.util.List<ExistentialConcept> buffer)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |