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

Interface FactIndexer

All Superinterfaces:

IndexableFactCollection

All Known Implementing Classes:

ConcurrentFactIndexer

public interface FactIndexer
extends IndexableFactCollection

Method Summary

Modifier and Type	Method	Description
void	add(PositiveAtom fact)	Adds a fact to the FactIndexer.
void	addAll(Iterable<PositiveAtom> facts)	Adds some number of facts to the FactIndexer.

Methods inherited from interface edu.harvard.seas.pl.abcdatalog.util.datastructures.IndexableFactCollection

getPreds, indexInto, indexInto, indexInto, isEmpty

Method Details

add

void add(PositiveAtom fact)

Adds a fact to the FactIndexer.

Parameters:

fact - a fact

addAll

void addAll(Iterable<PositiveAtom> facts)

Adds some number of facts to the FactIndexer.

Parameters:

facts - some facts