Uses of Class
org.semanticweb.HermiT.tableau.Tableau

Packages that use Tableau
org.semanticweb.HermiT   
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.hierarchy   
org.semanticweb.HermiT.monitor   
org.semanticweb.HermiT.tableau   
 

Uses of Tableau in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT declared as Tableau
protected  Tableau Reasoner.m_tableau
           
 

Methods in org.semanticweb.HermiT that return Tableau
protected static Tableau Reasoner.createTableau(InterruptFlag interruptFlag, Configuration config, DLOntology permanentDLOntology, DLOntology additionalDLOntology, Prefixes prefixes)
           
protected  Tableau Reasoner.getTableau()
           
 Tableau Reasoner.getTableau(org.semanticweb.owlapi.model.OWLAxiom... additionalAxioms)
          A mostly internal method.
 

Methods in org.semanticweb.HermiT with parameters of type Tableau
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConcepts(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean forceQuasiOrder)
           
protected static Hierarchy<AtomicConcept> Reasoner.classifyAtomicConceptsForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts, boolean forceQuasiOrder)
           
 

Uses of Tableau in org.semanticweb.HermiT.blocking
 

Fields in org.semanticweb.HermiT.blocking declared as Tableau
protected  Tableau ValidatedSingleDirectBlockingChecker.m_tableau
           
protected  Tableau ValidatedPairwiseDirectBlockingChecker.m_tableau
           
protected  Tableau SingleDirectBlockingChecker.m_tableau
           
protected  Tableau PairWiseDirectBlockingChecker.m_tableau
           
protected  Tableau AnywhereValidatedBlocking.m_tableau
           
protected  Tableau AnywhereBlocking.m_tableau
           
protected  Tableau AncestorBlocking.m_tableau
           
 

Methods in org.semanticweb.HermiT.blocking with parameters of type Tableau
 void ValidatedSingleDirectBlockingChecker.initialize(Tableau tableau)
           
 void ValidatedPairwiseDirectBlockingChecker.initialize(Tableau tableau)
           
 void SingleDirectBlockingChecker.initialize(Tableau tableau)
           
 void PairWiseDirectBlockingChecker.initialize(Tableau tableau)
           
 void DirectBlockingChecker.initialize(Tableau tableau)
           
 void BlockingStrategy.initialize(Tableau tableau)
           
 void AnywhereValidatedBlocking.initialize(Tableau tableau)
           
 void AnywhereBlocking.initialize(Tableau tableau)
           
 void AncestorBlocking.initialize(Tableau tableau)
           
 

Constructors in org.semanticweb.HermiT.blocking with parameters of type Tableau
BlockingValidator(Tableau tableau, java.util.Set<DLClause> dlClauses)
           
 

Uses of Tableau in org.semanticweb.HermiT.debugger
 

Fields in org.semanticweb.HermiT.debugger declared as Tableau
protected  Tableau Debugger.m_tableau
           
 

Methods in org.semanticweb.HermiT.debugger that return Tableau
 Tableau Debugger.getTableau()
           
 

Methods in org.semanticweb.HermiT.debugger with parameters of type Tableau
 void Debugger.setTableau(Tableau tableau)
           
 

Uses of Tableau in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials declared as Tableau
protected  Tableau AbstractExpansionStrategy.m_tableau
           
 

Methods in org.semanticweb.HermiT.existentials with parameters of type Tableau
 void IndividualReuseStrategy.initialize(Tableau tableau)
           
 void ExistentialExpansionStrategy.initialize(Tableau tableau)
           
 void AbstractExpansionStrategy.initialize(Tableau tableau)
           
 void IndividualReuseStrategy.IndividualReuseBranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDependencySet)
           
 

Constructors in org.semanticweb.HermiT.existentials with parameters of type Tableau
IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau, AtLeastConcept existential, Node node, boolean wasParentReuse)
           
 

Uses of Tableau in org.semanticweb.HermiT.hierarchy
 

Fields in org.semanticweb.HermiT.hierarchy declared as Tableau
protected  Tableau QuasiOrderClassification.m_tableau
           
protected  Tableau InstanceManager.m_tableau
           
protected  Tableau DeterministicClassification.m_tableau
           
 

Methods in org.semanticweb.HermiT.hierarchy with parameters of type Tableau
 void InstanceManager.initializeKnowAndPossibleClassInstances(Tableau tableau, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps)
           
 int InstanceManager.initializeKnowAndPossiblePropertyInstances(Tableau tableau, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int startIndividualIndex, int completedSteps, int steps)
           
protected  int InstanceManager.readOffClassInstancesByIndividual(Tableau tableau, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps)
           
protected  int InstanceManager.readOffPropertyInstancesByIndividual(Tableau tableau, java.util.Map<Node,Individual> individualsForNodes, org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor monitor, int completedSteps, int steps, int startIndividualIndex)
           
 

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Tableau
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
InstanceManager(InterruptFlag interruptFlag, Reasoner reasoner, Tableau tableau, Hierarchy<AtomicConcept> atomicConceptHierarchy, Hierarchy<Role> objectRoleHierarchy)
           
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements)
           
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, java.util.Set<AtomicConcept> elements, boolean hasInverses, java.util.Map<Role,AtomicConcept> conceptsForRoles, java.util.Map<AtomicConcept,Role> rolesForConcepts)
           
 

Uses of Tableau in org.semanticweb.HermiT.monitor
 

Fields in org.semanticweb.HermiT.monitor declared as Tableau
protected  Tableau TableauMonitorAdapter.m_tableau
           
 

Methods in org.semanticweb.HermiT.monitor with parameters of type Tableau
 void TableauMonitorForwarder.setTableau(Tableau tableau)
           
 void TableauMonitorFork.setTableau(Tableau tableau)
           
 void TableauMonitorAdapter.setTableau(Tableau tableau)
           
 void TableauMonitor.setTableau(Tableau tableau)
           
 

Uses of Tableau in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as Tableau
protected  Tableau NominalIntroductionManager.m_tableau
           
protected  Tableau Node.m_tableau
           
protected  Tableau MergingManager.m_tableau
           
protected  Tableau ExtensionTable.m_tableau
           
protected  Tableau ExtensionManager.m_tableau
           
protected  Tableau ExistentialExpansionManager.m_tableau
           
protected  Tableau DLClauseEvaluator.DeriveDisjunction.m_tableau
           
protected  Tableau DescriptionGraphManager.m_tableau
           
 

Methods in org.semanticweb.HermiT.tableau that return Tableau
 Tableau Node.getTableau()
           
 

Methods in org.semanticweb.HermiT.tableau with parameters of type Tableau
 boolean GroundDisjunction.addDisjunctToTableau(Tableau tableau, int disjunctIndex, DependencySet dependencySet)
           
 void GroundDisjunction.destroy(Tableau tableau)
           
 boolean GroundDisjunction.isSatisfied(Tableau tableau)
           
 void NominalIntroductionManager.NominalIntroductionBranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)
           
 void DisjunctionBranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDependencySet)
           
 void BranchingPoint.startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type Tableau
BranchingPoint(Tableau tableau)
           
ClashManager(Tableau tableau)
           
DatatypeManager(Tableau tableau)
           
DescriptionGraphManager(Tableau tableau)
           
DisjunctionBranchingPoint(Tableau tableau, GroundDisjunction groundDisjunction, int[] sortedDisjunctIndexes)
           
DLClauseEvaluator.DeriveDisjunction(java.lang.Object[] valuesBuffer, boolean[] coreVariables, DependencySet dependencySet, Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, int[] copyIsCore, int[] copyValuesToArguments)
           
DLClauseEvaluator(Tableau tableau, DLClause bodyDLClause, java.util.List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval, DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize)
           
ExistentialExpansionManager(Tableau tableau)
           
ExtensionManager(Tableau tableau)
           
ExtensionTable(Tableau tableau, int tupleArity, boolean needsDependencySets)
           
ExtensionTableWithFullIndex(Tableau tableau, int tupleArity, boolean needsDependencySets)
           
ExtensionTableWithTupleIndexes(Tableau tableau, int tupleArity, boolean needsDependencySets, TupleIndex[] tupleIndexes)
           
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)
           
HyperresolutionManager(Tableau tableau, java.util.Set<DLClause> dlClauses)
           
MergingManager(Tableau tableau)
           
Node(Tableau tableau)
           
NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau, Node rootNode, Node niTargetNode, Node otherNode, AnnotatedEquality annotatedEquality)
           
NominalIntroductionManager(Tableau tableau)