public interface TermStore<T extends ReasonerTerm,V extends ReasonerLocalVariable> extends Iterable<T>
Modifier and Type | Method and Description |
---|---|
void |
add(GroundRule rule,
T term)
Add a term to the store that was generated from the given ground rule.
|
void |
clear()
Remove any existing terms and prepare for a new set.
|
void |
close()
Close down the term store, it will not be used any more.
|
V |
createLocalVariable(RandomVariableAtom atom)
Create a variable local to a specific term.
|
void |
ensureCapacity(int capacity)
Ensure that the underlying stuctures can have the required term capacity.
|
void |
ensureVariableCapacity(int capacity)
Ensure that the underlying stuctures can have the required variable capacity.
|
T |
get(int index) |
void |
initForOptimization()
A notification by the Reasoner that optimization is about to begin.
|
void |
iterationComplete()
A notification by the Reasoner that a single iteration is complete.
|
Iterator<T> |
noWriteIterator()
Get an iterator over the terms in the store that does not write to disk.
|
void |
reset()
Reset the existing terms for another round of inference.
|
int |
size() |
forEach, iterator, spliterator
void add(GroundRule rule, T term)
void clear()
void reset()
void close()
void iterationComplete()
void initForOptimization()
T get(int index)
int size()
void ensureCapacity(int capacity)
void ensureVariableCapacity(int capacity)
V createLocalVariable(RandomVariableAtom atom)
Copyright © 2020 University of California, Santa Cruz. All rights reserved.