Uses of Class
edu.harvard.seas.pl.abcdatalog.engine.bottomup.BottomUpEngineFrameWithProvenance

Packages that use BottomUpEngineFrameWithProvenance

Package	Description
edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential	This package contains single-threaded bottom-up Datalog evaluation engines.

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

Subclasses of BottomUpEngineFrameWithProvenance in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential

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