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

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

This package contains data structures for storing and indexing Datalog facts.

Related Packages

Package	Description
edu.harvard.seas.pl.abcdatalog.util	This package contains basic utilities.
edu.harvard.seas.pl.abcdatalog.util.graph	This package contains utility classes for graph operations.
edu.harvard.seas.pl.abcdatalog.util.substitution	This package contains classes that represents substitutions (i.e., mappings from variables to terms).

Class	Description
ConcurrentFactIndexer<T extends Iterable<PositiveAtom>>	An index that holds facts.
ConcurrentFactTrie	A trie that holds a set of facts (i.e., ground atoms).
ConcurrentLinkedBag<T>	A linked-list-backed bag that supports a minimal number of operations.
FactIndexer
FactIndexerFactory	A factory for creating some useful fact indexers.
IndexableFactCollection	A fixed collection of facts that only allows a basic query operation: return the atoms in the collection that might match a given atom.