Class BottomUpEvalManager

java.lang.Object

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

All Implemented Interfaces:

EvalManager

Direct Known Subclasses:

ExtensibleBottomUpEvalManager

public class BottomUpEvalManager
extends Object
implements EvalManager

An evaluation manager that implements a saturation algorithm similar to semi-naive evaluation. It supports explicit unification.

Field Summary

Fields

Modifier and Type	Field	Description
protected final ExecutorServiceCounter	exec
protected final FactIndexer	facts
protected final Set<PositiveAtom>	initialFacts
protected final Map<PredicateSym, Set<ClauseEvaluator>>	predToEvalMap
protected final ConcurrentFactTrie	trie

Constructor Summary

Constructors

Constructor	Description
BottomUpEvalManager()

Method Summary

Modifier and Type	Method	Description
IndexableFactCollection	eval()	Saturate all facts derivable from the program with which this manager has been initialized.
protected Iterable<PositiveAtom>	getFacts(AnnotatedAtom atom, ClauseSubstitution s)
void	initialize(Set<Clause> program)	Initialize this manager with a program.
protected void	newFact(PositiveAtom atom, ClauseSubstitution s)
protected void	processInitialFacts(Set<PositiveAtom> facts)
protected void	processNewFact(PositiveAtom newFact)

Methods inherited from class java.lang.Object

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

Field Details

predToEvalMap

protected final Map<PredicateSym, Set<ClauseEvaluator>> predToEvalMap

exec

protected final ExecutorServiceCounter exec

facts

protected final FactIndexer facts

initialFacts

protected final Set<PositiveAtom> initialFacts

trie

protected final ConcurrentFactTrie trie

Constructor Details

BottomUpEvalManager

public BottomUpEvalManager()

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

processInitialFacts

protected void processInitialFacts(Set<PositiveAtom> facts)

processNewFact

protected void processNewFact(PositiveAtom newFact)

getFacts

protected Iterable<PositiveAtom> getFacts(AnnotatedAtom atom,
 ClauseSubstitution s)

newFact

protected void newFact(PositiveAtom atom,
 ClauseSubstitution s)