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

Packages that use BottomUpEngineFrame

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 BottomUpEngineFrame in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Subclasses of BottomUpEngineFrame in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Modifier and Type	Class	Description
class	BottomUpEngineFrameWithProvenance

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

Subclasses of BottomUpEngineFrame in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Modifier and Type	Class	Description
class	ConcurrentBottomUpEngine	A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.
class	ConcurrentChunkedBottomUpEngine	A concurrent bottom-up Datalog engine that employs a saturation algorithm similar to semi-naive evaluation.
class	ConcurrentStratifiedNegationBottomUpEngine	This class implements an experimental multi-threaded Datalog evaluation algorithm that supports explicit unification and stratified negation.

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

Subclasses of BottomUpEngineFrame 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.