Index
All Classes and Interfaces|All Packages|Constant Field Values
A
- AbstractFunctionView<T> - Class in tools.refinery.store.query.view
- AbstractFunctionView(Symbol<T>, String, Parameter) - Constructor for class tools.refinery.store.query.view.AbstractFunctionView
- AbstractResultSet<T> - Class in tools.refinery.store.query.resultset
- AbstractResultSet(ModelQueryAdapter, Query<T>) - Constructor for class tools.refinery.store.query.resultset.AbstractResultSet
- adapter() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
-
Returns the value of the
adapter
record component. - add(T) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- addAll(Collection<? extends T>) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- addListener(ResultSetListener<T>) - Method in class tools.refinery.store.query.resultset.AbstractResultSet
- addListener(ResultSetListener<T>) - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
- addListener(ResultSetListener<T>) - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- addListener(ResultSetListener<T>) - Method in interface tools.refinery.store.query.resultset.ResultSet
- aggregate(Aggregator<R, T>, List<NodeVariable>) - Method in class tools.refinery.store.query.view.FunctionView
- aggregate(Aggregator<R, T>, NodeVariable...) - Method in class tools.refinery.store.query.view.FunctionView
- AnyResultSet - Interface in tools.refinery.store.query.resultset
- AnySymbolView - Interface in tools.refinery.store.query.view
B
- build(ModelStore) - Method in interface tools.refinery.store.query.ModelQueryBuilder
C
- canIndexSlot(int) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- canIndexSlot(int) - Method in interface tools.refinery.store.query.view.AnySymbolView
- canIndexSlot(int) - Method in class tools.refinery.store.query.view.TuplePreservingView
- clear() - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- close() - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- contains(Object) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- containsAll(Collection<?>) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- createModelAdapter(Model) - Method in interface tools.refinery.store.query.ModelQueryStoreAdapter
D
- doFilter(Tuple, T) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- doFilter(Tuple, T) - Method in class tools.refinery.store.query.view.FilteredView
- doFilter(Tuple, T) - Method in class tools.refinery.store.query.view.KeyOnlyView
- doFilter(Tuple, T) - Method in class tools.refinery.store.query.view.SymbolView
- doFilter(Tuple, TruthValue) - Method in class tools.refinery.store.query.view.ForbiddenView
- doFilter(Tuple, TruthValue) - Method in class tools.refinery.store.query.view.MayView
- doFilter(Tuple, TruthValue) - Method in class tools.refinery.store.query.view.MustView
E
- EmptyResultSet<T> - Record Class in tools.refinery.store.query.resultset
- EmptyResultSet(ModelQueryAdapter, Query<T>) - Constructor for record class tools.refinery.store.query.resultset.EmptyResultSet
-
Creates an instance of a
EmptyResultSet
record class. - equals(Object) - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
-
Indicates whether some other object is "equal to" this one.
- equals(Object) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- equals(Object) - Method in class tools.refinery.store.query.view.FilteredView
- equals(Object) - Method in class tools.refinery.store.query.view.KeyOnlyView
- equals(Object) - Method in class tools.refinery.store.query.view.SymbolView
- equals(Object) - Method in class tools.refinery.store.query.view.TuplePreservingView
- equals(Object) - Method in record class tools.refinery.store.query.view.ViewImplication
-
Indicates whether some other object is "equal to" this one.
F
- filter(Tuple, T) - Method in class tools.refinery.store.query.view.SymbolView
- FilteredView<T> - Class in tools.refinery.store.query.view
- FilteredView(Symbol<T>, String, BiPredicate<Tuple, T>) - Constructor for class tools.refinery.store.query.view.FilteredView
- FilteredView(Symbol<T>, String, Predicate<T>) - Constructor for class tools.refinery.store.query.view.FilteredView
- FilteredView(Symbol<T>, BiPredicate<Tuple, T>) - Constructor for class tools.refinery.store.query.view.FilteredView
- FilteredView(Symbol<T>, Predicate<T>) - Constructor for class tools.refinery.store.query.view.FilteredView
- flushChanges() - Method in interface tools.refinery.store.query.ModelQueryAdapter
- ForbiddenView - Class in tools.refinery.store.query.view
- ForbiddenView(Symbol<TruthValue>) - Constructor for class tools.refinery.store.query.view.ForbiddenView
- forwardMap(Tuple) - Method in class tools.refinery.store.query.view.TuplePreservingView
- forwardMap(Tuple, T) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- forwardMap(Tuple, T) - Method in class tools.refinery.store.query.view.SymbolView
- forwardMap(Tuple, T) - Method in class tools.refinery.store.query.view.TuplePreservingView
- forwardMapValue(T) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- FunctionView<T> - Class in tools.refinery.store.query.view
- FunctionView(Symbol<T>) - Constructor for class tools.refinery.store.query.view.FunctionView
- FunctionView(Symbol<T>, String) - Constructor for class tools.refinery.store.query.view.FunctionView
G
- get(int) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- get(Model, Object[]) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- get(Model, Object[]) - Method in interface tools.refinery.store.query.view.AnySymbolView
- get(Model, Object[]) - Method in class tools.refinery.store.query.view.TuplePreservingView
- get(Tuple) - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
- get(Tuple) - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- get(Tuple) - Method in interface tools.refinery.store.query.resultset.ResultSet
- getAdapter() - Method in class tools.refinery.store.query.resultset.AbstractResultSet
- getAdapter() - Method in interface tools.refinery.store.query.resultset.AnyResultSet
- getAdapter() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
- getAdapter() - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- getAdjacent(Model, int, Object) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- getAdjacent(Model, int, Object) - Method in interface tools.refinery.store.query.view.AnySymbolView
- getAdjacent(Model, int, Object) - Method in class tools.refinery.store.query.view.TuplePreservingView
- getAll() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
- getAll() - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- getAll() - Method in interface tools.refinery.store.query.resultset.ResultSet
- getAll(Model) - Method in interface tools.refinery.store.query.view.AnySymbolView
- getAll(Model) - Method in class tools.refinery.store.query.view.SymbolView
- getCanonicalQuery() - Method in class tools.refinery.store.query.resultset.AbstractResultSet
- getCanonicalQuery() - Method in interface tools.refinery.store.query.resultset.AnyResultSet
- getCanonicalQuery() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
- getCanonicalQuery() - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- getCanonicalQuery() - Method in interface tools.refinery.store.query.resultset.ResultSet
- getCanonicalQuery(AnyQuery) - Method in interface tools.refinery.store.query.ModelQueryStoreAdapter
- getCanonicalQuery(Query<T>) - Method in interface tools.refinery.store.query.ModelQueryStoreAdapter
- getFunctionalDependencies() - Method in class tools.refinery.store.query.view.AbstractFunctionView
- getFunctionalDependencies() - Method in interface tools.refinery.store.query.view.AnySymbolView
- getImpliedRelationViews() - Method in class tools.refinery.store.query.view.AbstractFunctionView
- getImpliedRelationViews() - Method in interface tools.refinery.store.query.view.AnySymbolView
- getKey(int) - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- getParameters() - Method in class tools.refinery.store.query.view.AbstractFunctionView
- getParameters() - Method in class tools.refinery.store.query.view.TuplePreservingView
- getQueries() - Method in interface tools.refinery.store.query.ModelQueryStoreAdapter
- getResultSet(AnyQuery) - Method in interface tools.refinery.store.query.ModelQueryAdapter
- getResultSet(Query<T>) - Method in interface tools.refinery.store.query.ModelQueryAdapter
- getStoreAdapter() - Method in interface tools.refinery.store.query.ModelQueryAdapter
- getSymbol() - Method in interface tools.refinery.store.query.view.AnySymbolView
- getSymbol() - Method in class tools.refinery.store.query.view.SymbolView
- getSymbolViews() - Method in interface tools.refinery.store.query.ModelQueryStoreAdapter
- getViewName() - Method in interface tools.refinery.store.query.view.AnySymbolView
- getViewName() - Method in class tools.refinery.store.query.view.SymbolView
H
- hashCode() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
-
Returns a hash code value for this object.
- hashCode() - Method in class tools.refinery.store.query.view.AbstractFunctionView
- hashCode() - Method in class tools.refinery.store.query.view.FilteredView
- hashCode() - Method in class tools.refinery.store.query.view.KeyOnlyView
- hashCode() - Method in class tools.refinery.store.query.view.SymbolView
- hashCode() - Method in class tools.refinery.store.query.view.TuplePreservingView
- hashCode() - Method in record class tools.refinery.store.query.view.ViewImplication
-
Returns a hash code value for this object.
- hasPendingChanges() - Method in interface tools.refinery.store.query.ModelQueryAdapter
I
- impliedIndices() - Method in record class tools.refinery.store.query.view.ViewImplication
-
Returns the value of the
impliedIndices
record component. - impliedView() - Method in record class tools.refinery.store.query.view.ViewImplication
-
Returns the value of the
impliedView
record component. - implyingView() - Method in record class tools.refinery.store.query.view.ViewImplication
-
Returns the value of the
implyingView
record component. - indexOf(T) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- isEmpty() - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- iterator() - Method in class tools.refinery.store.query.utils.OrderStatisticTree
K
- KeyOnlyView<T> - Class in tools.refinery.store.query.view
- KeyOnlyView(Symbol<T>) - Constructor for class tools.refinery.store.query.view.KeyOnlyView
L
- leftJoin(T, List<NodeVariable>) - Method in class tools.refinery.store.query.view.FunctionView
- leftJoin(T, NodeVariable...) - Method in class tools.refinery.store.query.view.FunctionView
M
- MayView - Class in tools.refinery.store.query.view
- MayView(Symbol<TruthValue>) - Constructor for class tools.refinery.store.query.view.MayView
- ModelQueryAdapter - Interface in tools.refinery.store.query
- ModelQueryBuilder - Interface in tools.refinery.store.query
- ModelQueryStoreAdapter - Interface in tools.refinery.store.query
- MustView - Class in tools.refinery.store.query.view
- MustView(Symbol<TruthValue>) - Constructor for class tools.refinery.store.query.view.MustView
N
- name() - Method in class tools.refinery.store.query.view.SymbolView
- NodeFunctionView - Class in tools.refinery.store.query.view
- NodeFunctionView(Symbol<Tuple1>) - Constructor for class tools.refinery.store.query.view.NodeFunctionView
- NodeFunctionView(Symbol<Tuple1>, String) - Constructor for class tools.refinery.store.query.view.NodeFunctionView
- notifyChange(Tuple, T, T) - Method in class tools.refinery.store.query.resultset.AbstractResultSet
O
- OrderedResultSet<T> - Class in tools.refinery.store.query.resultset
- OrderedResultSet(ResultSet<T>) - Constructor for class tools.refinery.store.query.resultset.OrderedResultSet
- OrderStatisticTree<T> - Class in tools.refinery.store.query.utils
-
This class implements an order statistic tree which is based on AVL-trees.
- OrderStatisticTree() - Constructor for class tools.refinery.store.query.utils.OrderStatisticTree
P
- put(Tuple, T, T) - Method in interface tools.refinery.store.query.resultset.ResultSetListener
Q
- queries(Collection<? extends AnyQuery>) - Method in interface tools.refinery.store.query.ModelQueryBuilder
- queries(AnyQuery...) - Method in interface tools.refinery.store.query.ModelQueryBuilder
- query() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
-
Returns the value of the
query
record component. - query(AnyQuery) - Method in interface tools.refinery.store.query.ModelQueryBuilder
R
- remove(Object) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- removeAll(Collection<?>) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- removeListener(ResultSetListener<T>) - Method in class tools.refinery.store.query.resultset.AbstractResultSet
- removeListener(ResultSetListener<T>) - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
- removeListener(ResultSetListener<T>) - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- removeListener(ResultSetListener<T>) - Method in interface tools.refinery.store.query.resultset.ResultSet
- ResultSet<T> - Interface in tools.refinery.store.query.resultset
- ResultSetListener<T> - Interface in tools.refinery.store.query.resultset
- retainAll(Collection<?>) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- rewriter(DnfRewriter) - Method in interface tools.refinery.store.query.ModelQueryBuilder
S
- size() - Method in interface tools.refinery.store.query.resultset.AnyResultSet
- size() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
- size() - Method in class tools.refinery.store.query.resultset.OrderedResultSet
- size() - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- startListeningForChanges() - Method in class tools.refinery.store.query.resultset.AbstractResultSet
- stopListeningForChanges() - Method in class tools.refinery.store.query.resultset.AbstractResultSet
- SymbolView<T> - Class in tools.refinery.store.query.view
-
Represents a view of a
Symbol
that can be queried. - SymbolView(Symbol<T>) - Constructor for class tools.refinery.store.query.view.SymbolView
- SymbolView(Symbol<T>, String) - Constructor for class tools.refinery.store.query.view.SymbolView
T
- toArray() - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- toArray(U[]) - Method in class tools.refinery.store.query.utils.OrderStatisticTree
- tools.refinery.store.query - package tools.refinery.store.query
- tools.refinery.store.query.resultset - package tools.refinery.store.query.resultset
- tools.refinery.store.query.utils - package tools.refinery.store.query.utils
- tools.refinery.store.query.view - package tools.refinery.store.query.view
- toReferenceString() - Method in class tools.refinery.store.query.view.SymbolView
- toString() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet
-
Returns a string representation of this record class.
- toString() - Method in class tools.refinery.store.query.view.SymbolView
- toString() - Method in record class tools.refinery.store.query.view.ViewImplication
-
Returns a string representation of this record class.
- TuplePreservingView<T> - Class in tools.refinery.store.query.view
- TuplePreservingView(Symbol<T>) - Constructor for class tools.refinery.store.query.view.TuplePreservingView
- TuplePreservingView(Symbol<T>, String) - Constructor for class tools.refinery.store.query.view.TuplePreservingView
V
- valueEquals(T, Object) - Method in class tools.refinery.store.query.view.AbstractFunctionView
- VIEW_NAME - Static variable in class tools.refinery.store.query.view.KeyOnlyView
- ViewImplication - Record Class in tools.refinery.store.query.view
- ViewImplication(AnySymbolView, AnySymbolView, List<Integer>) - Constructor for record class tools.refinery.store.query.view.ViewImplication
-
Creates an instance of a
ViewImplication
record class.
All Classes and Interfaces|All Packages|Constant Field Values