Uses of Class
edu.harvard.seas.pl.abcdatalog.util.datastructures.ConcurrentFactIndexer

Packages that use ConcurrentFactIndexer

Package	Description
edu.harvard.seas.pl.abcdatalog.util.datastructures	This package contains data structures for storing and indexing Datalog facts.

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

Methods in edu.harvard.seas.pl.abcdatalog.util.datastructures that return ConcurrentFactIndexer

Modifier and Type	Method	Description
static ConcurrentFactIndexer<Queue<PositiveAtom>>	FactIndexerFactory.createConcurrentQueueFactIndexer()	Creates a fact indexer that uses concurrent queues for the base container.
static ConcurrentFactIndexer<Set<PositiveAtom>>	FactIndexerFactory.createConcurrentSetFactIndexer()	Creates a fact indexer that uses concurrent sets for the base container.
ConcurrentFactIndexer<T>	ConcurrentFactIndexer.getCopy()