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

Packages that use ExtensionManager

Package	Description
org.semanticweb.HermiT.tableau

Uses of ExtensionManager in org.semanticweb.HermiT.tableau

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

Modifier and Type	Method and Description
ExtensionManager	Tableau.getExtensionManager()

Constructors in org.semanticweb.HermiT.tableau with parameters of type ExtensionManager

Constructor and Description
ConjunctionCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, Map<Integer,org.semanticweb.HermiT.tableau.UnionDependencySet> unionDependencySetsBySize, ExtensionManager extensionManager, Atom[] bodyAtoms, List<Variable> headVariables)