Uses of Interface
edu.harvard.seas.pl.abcdatalog.engine.bottomup.EvalManager

Packages that use EvalManager

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.

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

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup with type parameters of type EvalManager

Modifier and Type	Class	Description
class	BottomUpEngineFrame<E extends EvalManager>	A framework for a bottom-up Datalog engine.

Subinterfaces of EvalManager in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Modifier and Type	Interface	Description
interface	EvalManagerWithProvenance

Fields in edu.harvard.seas.pl.abcdatalog.engine.bottomup declared as EvalManager

Modifier and Type	Field	Description
protected final E	BottomUpEngineFrame.manager	The evaluation manager for this engine.

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

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent that implement EvalManager

Modifier and Type	Class	Description
class	BottomUpEvalManager	An evaluation manager that implements a saturation algorithm similar to semi-naive evaluation.
class	ExtensibleBottomUpEvalManager	An evaluation manager for a concurrent semi-naive engine that runs asynchronously in the background.
class	StratifiedNegationEvalManager

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

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential that implement EvalManager

Modifier and Type	Class	Description
class	SemiNaiveEvalManager