Uses of Interface
edu.harvard.seas.pl.abcdatalog.util.datastructures.IndexableFactCollection

Packages that use IndexableFactCollection

Package	Description
edu.harvard.seas.pl.abcdatalog.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent	This package contains multi-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential	This package contains single-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.util.datastructures	This package contains data structures for storing and indexing Datalog facts.

Uses of IndexableFactCollection in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that return IndexableFactCollection

Modifier and Type	Method and Description
IndexableFactCollection	EvalManager.eval() Saturate all facts derivable from the program with which this manager has been initialized.

Uses of IndexableFactCollection in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent that return IndexableFactCollection

Modifier and Type	Method and Description
IndexableFactCollection	ExtensibleBottomUpEvalManager.eval() Starts this manager running in the background.
IndexableFactCollection	StratifiedNegationEvalManager.eval()
IndexableFactCollection	BottomUpEvalManager.eval()
IndexableFactCollection	ExtensibleBottomUpEvalManager.finishAsynchronousEval() Blocks until the evaluation is complete and returns the set of facts derived during evaluation.

Uses of IndexableFactCollection in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential that return IndexableFactCollection

Modifier and Type	Method and Description
IndexableFactCollection	SemiNaiveEvalManager.eval()

Uses of IndexableFactCollection in edu.harvard.seas.pl.abcdatalog.util.datastructures

Subinterfaces of IndexableFactCollection in edu.harvard.seas.pl.abcdatalog.util.datastructures

Modifier and Type	Interface and Description
interface	FactIndexer

Classes in edu.harvard.seas.pl.abcdatalog.util.datastructures that implement IndexableFactCollection

Modifier and Type	Class and Description
class	ConcurrentFactIndexer<T extends Iterable<PositiveAtom>> An index that holds facts.

Methods in edu.harvard.seas.pl.abcdatalog.util.datastructures with parameters of type IndexableFactCollection

Modifier and Type	Method and Description
void	ConcurrentFactIndexer.addAll(IndexableFactCollection that) Add all the facts from an indexable fact collection to this index.