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

Class ConcurrentFactTrie

java.lang.Object

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

public class ConcurrentFactTrie
extends Object

A trie that holds a set of facts (i.e., ground atoms).

Constructor Summary

Constructors

Constructor	Description
ConcurrentFactTrie()

Method Summary

Modifier and Type	Method	Description
boolean	add(PositiveAtom fact)	Adds a fact to this trie and returns whether the trie has changed.
boolean	add(PositiveAtom a, ConstOnlySubstitution s)	Adds an atom a to this trie.
void	clear()	Clears this trie.

Methods inherited from class java.lang.Object

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

Constructor Details

ConcurrentFactTrie

public ConcurrentFactTrie()

Method Details

add

public boolean add(PositiveAtom a,
 ConstOnlySubstitution s)

Adds an atom a to this trie. The atom must be ground once the substitution s has been applied. This method returns whether the trie has changed.

Parameters:

a - the atom

s - the substitution

Returns:

whether the set has changed

add

public boolean add(PositiveAtom fact)

Adds a fact to this trie and returns whether the trie has changed.

Parameters:

fact - the fact

Returns:

whether the trie has changed

clear

public void clear()

Clears this trie.