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

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)