Uses of Package
edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Packages that use edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

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

Classes in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent used by edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent

Class	Description
BottomUpEvalManager	An evaluation manager that implements a saturation algorithm similar to semi-naive evaluation.