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

Interface EvalManager

All Known Subinterfaces:

EvalManagerWithProvenance

All Known Implementing Classes:

BottomUpEvalManager, ExtensibleBottomUpEvalManager, SemiNaiveEvalManager, StratifiedNegationEvalManager

public interface EvalManager

The saturating evaluation manager for a bottom-up Datalog evaluation engine.

Method Summary

Modifier and Type	Method	Description
IndexableFactCollection	eval()	Saturate all facts derivable from the program with which this manager has been initialized.
void	initialize(Set<Clause> program)	Initialize this manager with a program.

Method Details

initialize

void initialize(Set<Clause> program)
         throws DatalogValidationException

Initialize this manager with a program.

Parameters:

program - the program

Throws:

DatalogValidationException - if the program is invalid

eval

IndexableFactCollection eval()

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

Parameters:

program - the program

Returns:

the facts