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

Packages that use EvalManagerWithProvenance

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

Constructors in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type EvalManagerWithProvenance

Modifier	Constructor	Description
	BottomUpEngineFrameWithProvenance(EvalManagerWithProvenance manager)

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

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

Modifier and Type	Class	Description
class	SemiNaiveEvalManager