public interface VariableTermStore<T extends ReasonerTerm,V extends ReasonerLocalVariable> extends TermStore<T,V>
Modifier and Type | Method and Description |
---|---|
int |
getNumVariables() |
int |
getVariableIndex(V variable)
Get the index that matches up to getVariableValues().
|
Iterable<V> |
getVariables() |
float[] |
getVariableValues()
Get the truth values for variabe atoms.
|
boolean |
isLoaded()
Is the term store loaded, and can it give an accurate term and variable count.
|
void |
syncAtoms()
Ensure that all the variable atoms have the same value as the array returned by getVariableValues().
|
add, clear, close, createLocalVariable, ensureCapacity, ensureVariableCapacity, get, noWriteIterator, size
forEach, iterator, spliterator
int getNumVariables()
boolean isLoaded()
float[] getVariableValues()
int getVariableIndex(V variable)
void syncAtoms()
Copyright © 2020 University of California, Santa Cruz. All rights reserved.