Uses of Interface
edu.harvard.seas.pl.abcdatalog.engine.DatalogEngineWithProvenance

Packages that use DatalogEngineWithProvenance

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.sequential	This package contains single-threaded bottom-up Datalog evaluation engines.

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

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

Modifier and Type	Class	Description
class	BottomUpEngineFrameWithProvenance

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

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

Modifier and Type	Class	Description
class	SemiNaiveEngine	A Datalog engine that implements the classic semi-naive bottom-up evaluation algorithm.

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

Modifier and Type	Method	Description
static DatalogEngineWithProvenance	SemiNaiveEngine.newEngineWithProvenance()