Uses of Interface
edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexer

Packages that use FactIndexer

Package	Description
edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent	This package contains multi-threaded bottom-up Datalog evaluation engines.
edu.harvard.seas.pl.abcdatalog.util.datastructures	This package contains data structures for storing and indexing Datalog facts.

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

Fields in edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent declared as FactIndexer

Modifier and Type	Field	Description
protected final FactIndexer	BottomUpEvalManager.facts

Uses of FactIndexer in edu.harvard.seas.pl.abcdatalog.util.datastructures

Classes in edu.harvard.seas.pl.abcdatalog.util.datastructures that implement FactIndexer

Modifier and Type	Class	Description
class	ConcurrentFactIndexer<T extends Iterable<PositiveAtom>>	An index that holds facts.