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

Class StratifiedNegationEvalManager

java.lang.Object

edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.StratifiedNegationEvalManager

All Implemented Interfaces:

EvalManager

public class StratifiedNegationEvalManager
extends Object
implements EvalManager

Constructor Summary

Constructors

Constructor	Description
StratifiedNegationEvalManager()

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.

Methods inherited from class java.lang.Object

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

Constructor Details

StratifiedNegationEvalManager

public StratifiedNegationEvalManager()

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