Package edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential

Class SemiNaiveEvalManager

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential.SemiNaiveEvalManager

All Implemented Interfaces:

EvalManager, EvalManagerWithProvenance

public class SemiNaiveEvalManager
extends Object
implements EvalManagerWithProvenance

Constructor Summary

Constructors

Constructor	Description
SemiNaiveEvalManager(boolean collectProv)

Method Summary

Modifier and Type	Method	Description
IndexableFactCollection	eval()	Saturate all facts derivable from the program with which this manager has been initialized.
Clause	getJustification(PositiveAtom fact)	Return the last rule used in the justification of the given atom.
void	initialize(Set<Clause> program)	Initialize this manager with a program.
static Clause	stripSemiNaiveClause(SemiNaiveClauseAnnotator.SemiNaiveClause cl)

Methods inherited from class java.lang.Object

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

Constructor Details

SemiNaiveEvalManager

public SemiNaiveEvalManager(boolean collectProv)

Method Details

initialize

public void initialize(Set<Clause> program)
                throws DatalogValidationException

Description copied from interface: EvalManager

Initialize this manager with a program.

Specified by:

initialize in interface EvalManager

Parameters:

program - the program

Throws:

DatalogValidationException - if the program is invalid

eval

public IndexableFactCollection eval()

Description copied from interface: EvalManager

Saturate all facts derivable from the program with which this manager has been initialized.

Specified by:

eval in interface EvalManager

Returns:

the facts

getJustification

public Clause getJustification(PositiveAtom fact)

Description copied from interface: EvalManagerWithProvenance

Return the last rule used in the justification of the given atom. The returned rule should be ground (variable-free). Return null if the given atom is not a fact or was not derived.

Specified by:

getJustification in interface EvalManagerWithProvenance

Parameters:

fact - the fact

Returns:

the last rule used to justify that fact

stripSemiNaiveClause

public static Clause stripSemiNaiveClause(SemiNaiveClauseAnnotator.SemiNaiveClause cl)