Package edu.harvard.seas.pl.abcdatalog.util.datastructures

Class FactIndexerFactory

java.lang.Object

edu.harvard.seas.pl.abcdatalog.util.datastructures.FactIndexerFactory

public final class FactIndexerFactory
extends Object

A factory for creating some useful fact indexers.

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

createConcurrentSetFactIndexer

public static ConcurrentFactIndexer<Set<PositiveAtom>> createConcurrentSetFactIndexer()

Creates a fact indexer that uses concurrent sets for the base container.

Returns:

the fact indexer

createConcurrentQueueFactIndexer

public static ConcurrentFactIndexer<Queue<PositiveAtom>> createConcurrentQueueFactIndexer()

Creates a fact indexer that uses concurrent queues for the base container.

Returns:

the fact indexer