Uses of Class
org.semanticweb.HermiT.model.ExistentialConcept

Packages that use ExistentialConcept

Package	Description
org.semanticweb.HermiT.debugger
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

Modifier and Type	Field and Description
ExistentialConcept	Debugger.NodeCreationInfo.m_createdByExistential created by existential

Methods in org.semanticweb.HermiT.debugger with parameters of type ExistentialConcept

Modifier and Type	Method and Description
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

Constructor and Description
NodeCreationInfo(Node createdByNode, ExistentialConcept createdByExistential)

Uses of ExistentialConcept in org.semanticweb.HermiT.model

Subclasses of ExistentialConcept in org.semanticweb.HermiT.model

Modifier and Type	Class and Description
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 ExistsDescriptionGraph.

Uses of ExistentialConcept in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type ExistentialConcept

Modifier and Type	Method and Description
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

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

Modifier and Type	Method and Description
ExistentialConcept	Node.getSomeUnprocessedExistential()

Methods in org.semanticweb.HermiT.tableau that return types with arguments of type ExistentialConcept

Modifier and Type	Method and Description
Collection<ExistentialConcept>	Node.getUnprocessedExistentials()

Methods in org.semanticweb.HermiT.tableau with parameters of type ExistentialConcept

Modifier and Type	Method and Description
void	ExistentialExpansionManager.markExistentialProcessed(ExistentialConcept existentialConcept, Node forNode)

Method parameters in org.semanticweb.HermiT.tableau with type arguments of type ExistentialConcept

Modifier and Type	Method and Description
void	Tableau.putExistentialConceptsBuffer(List<ExistentialConcept> buffer)