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

Packages that use Tableau

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

Methods in org.semanticweb.HermiT that return Tableau

Modifier and Type	Method and Description
Tableau	Reasoner.getTableau()
Tableau	Reasoner.getTableau(org.semanticweb.owlapi.model.OWLAxiom... additionalAxioms) A mostly internal method.

Uses of Tableau in org.semanticweb.HermiT.blocking

Methods in org.semanticweb.HermiT.blocking with parameters of type Tableau

Modifier and Type	Method and Description
void	AnywhereBlocking.initialize(Tableau tableau)
void	AncestorBlocking.initialize(Tableau tableau)
void	ValidatedPairwiseDirectBlockingChecker.initialize(Tableau tableau)
void	SingleDirectBlockingChecker.initialize(Tableau tableau)
void	DirectBlockingChecker.initialize(Tableau tableau)
void	BlockingStrategy.initialize(Tableau tableau)
void	AnywhereValidatedBlocking.initialize(Tableau tableau)
void	ValidatedSingleDirectBlockingChecker.initialize(Tableau tableau)
void	PairWiseDirectBlockingChecker.initialize(Tableau tableau)

Constructors in org.semanticweb.HermiT.blocking with parameters of type Tableau

Constructor and Description
BlockingValidator(Tableau tableau, Collection<DLClause> dlClauses)

Uses of Tableau in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger that return Tableau

Modifier and Type	Method and Description
Tableau	Debugger.getTableau()

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

Modifier and Type	Method and Description
void	Debugger.setTableau(Tableau tableau)

Uses of Tableau in org.semanticweb.HermiT.existentials

Methods in org.semanticweb.HermiT.existentials with parameters of type Tableau

Modifier and Type	Method and Description
void	IndividualReuseStrategy.initialize(Tableau tableau)
void	AbstractExpansionStrategy.initialize(Tableau tableau)
void	ExistentialExpansionStrategy.initialize(Tableau tableau)

Uses of Tableau in org.semanticweb.HermiT.hierarchy

Constructors in org.semanticweb.HermiT.hierarchy with parameters of type Tableau

Constructor and Description
DeterministicClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
QuasiOrderClassification(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements)
QuasiOrderClassificationForRoles(Tableau tableau, ClassificationProgressMonitor progressMonitor, AtomicConcept topElement, AtomicConcept bottomElement, Set<AtomicConcept> elements, boolean hasInverses, Map<Role,AtomicConcept> conceptsForRoles, Map<AtomicConcept,Role> rolesForConcepts)

Uses of Tableau in org.semanticweb.HermiT.monitor

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

Modifier and Type	Method and Description
void	TableauMonitorAdapter.setTableau(Tableau tableau)
void	TableauMonitorFork.setTableau(Tableau tableau)
void	TableauMonitor.setTableau(Tableau tableau)
void	TableauMonitorForwarder.setTableau(Tableau tableau)

Uses of Tableau in org.semanticweb.HermiT.tableau

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

Modifier and Type	Method and Description
Tableau	Node.getTableau()

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

Modifier and Type	Method and Description
boolean	GroundDisjunction.addDisjunctToTableau(Tableau tableau, int disjunctIndex, DependencySet _dependencySet)
void	GroundDisjunction.destroy(Tableau tableau)
boolean	GroundDisjunction.isSatisfied(Tableau tableau)
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

Constructor and Description
BranchingPoint(Tableau tableau)
ClashManager(Tableau tableau)
DatatypeManager(Tableau tableau)
DescriptionGraphManager(Tableau tableau)
DisjunctionBranchingPoint(Tableau tableau, GroundDisjunction groundDisjunction, int[] sortedDisjunctIndexes)
DLClauseEvaluator(Tableau tableau, DLClause bodyDLClause, List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval, DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, org.semanticweb.HermiT.tableau.DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, Map<Integer,org.semanticweb.HermiT.tableau.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, org.semanticweb.HermiT.tableau.TupleIndex[] tupleIndexes)
GroundDisjunction(Tableau tableau, GroundDisjunctionHeader groundDisjunctionHeader, Node[] arguments, boolean[] isCore, DependencySet dependencySet)
HyperresolutionManager(Tableau tableau, Collection<DLClause> dlClauses)
MergingManager(Tableau tableau)
Node(Tableau tableau)