org.semanticweb.HermiT.tableau

Class DLClauseEvaluator

java.lang.Object

org.semanticweb.HermiT.tableau.DLClauseEvaluator

All Implemented Interfaces:

Serializable

public class DLClauseEvaluator
extends Object
implements Serializable

DLClauseEvaluator

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DLClauseEvaluator.BufferSupply BufferSupply.
static class	DLClauseEvaluator.ConjunctionCompiler ConjunctionCompiler.
static class	DLClauseEvaluator.ValuesBufferManager ValuesBufferManager.
static interface	DLClauseEvaluator.Worker Worker.

Constructor Summary

Constructors

Constructor and Description

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)

Method Summary

Modifier and Type	Method and Description
void	evaluate() Evaluate.
Atom	getBodyAtom(int atomIndex)
int	getBodyLength()
DLClause	getDLClause(int dlClauseIndex)
Atom	getHeadAtom(int dlClauseIndex, int atomIndex)
int	getHeadLength(int dlClauseIndex)
int	getNumberOfDLClauses()
Object[]	getTupleMatchedToBody(int atomIndex)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DLClauseEvaluator

public 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)

Parameters:

tableau - tableau

bodyDLClause - bodyDLClause

headDLClauses - headDLClauses

firstAtomRetrieval - firstAtomRetrieval

bufferSupply - bufferSupply

valuesBufferManager - valuesBufferManager

groundDisjunctionHeaderManager - groundDisjunctionHeaderManager

unionDependencySetsBySize - unionDependencySetsBySize

Method Detail

getBodyLength

public int getBodyLength()

Returns:

body length

getBodyAtom

public Atom getBodyAtom(int atomIndex)

Parameters:

atomIndex - atomIndex

Returns:

body atom

getNumberOfDLClauses

public int getNumberOfDLClauses()

Returns:

number of clauses

getDLClause

public DLClause getDLClause(int dlClauseIndex)

Parameters:

dlClauseIndex - dlClauseIndex

Returns:

dl clause

getHeadLength

public int getHeadLength(int dlClauseIndex)

Parameters:

dlClauseIndex - dlClauseIndex

Returns:

head length

getHeadAtom

public Atom getHeadAtom(int dlClauseIndex,
                        int atomIndex)

Parameters:

dlClauseIndex - dlClauseIndex

atomIndex - atomIndex

Returns:

head atom

getTupleMatchedToBody

public Object[] getTupleMatchedToBody(int atomIndex)

Parameters:

atomIndex - atomIndex

Returns:

tuple matched to body

evaluate

public void evaluate()

Evaluate.

toString

public String toString()

Overrides:

toString in class Object