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

Packages that use ClauseEvaluator

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

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

Fields in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent with type parameters of type ClauseEvaluator

Modifier and Type	Field	Description
protected final Map<PredicateSym,Set<ClauseEvaluator>>	BottomUpEvalManager.predToEvalMap