Index

A B C D E F G H I K L M N O P Q R S T V 
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.
A B C D E F G H I K L M N O P Q R S T V 
All Classes and Interfaces|All Packages|Constant Field Values