org.semanticweb.HermiT.tableau

Class DLClauseEvaluator.ConjunctionCompiler

java.lang.Object

org.semanticweb.HermiT.tableau.DLClauseEvaluator.ConjunctionCompiler

Enclosing class:

DLClauseEvaluator

public abstract static class DLClauseEvaluator.ConjunctionCompiler
extends Object

ConjunctionCompiler.

Field Summary

Fields

Modifier and Type	Field and Description
List<DLClauseEvaluator.Worker>	m_workers Workers.

Constructor Summary

Constructors

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)

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_workers

public final List<DLClauseEvaluator.Worker> m_workers

Workers.

Constructor Detail

ConjunctionCompiler

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

Parameters:

bufferSupply - bufferSupply

valuesBufferManager - valuesBufferManager

unionDependencySetsBySize - unionDependencySetsBySize

extensionManager - extensionManager

bodyAtoms - bodyAtoms

headVariables - headVariables