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.AlwaysTrueResultSet

Returns the value of the adapter record component.

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<Boolean>) - Method in record class tools.refinery.store.query.resultset.AlwaysTrueResultSet

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.OrderedResultSetImpl

addListener(ResultSetListener<T>) - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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

AlwaysTrueResultSet - Record Class in tools.refinery.store.query.resultset

A ResultSet that always returns true for the empty tuple.

AlwaysTrueResultSet(ModelQueryAdapter, RelationalQuery) - Constructor for record class tools.refinery.store.query.resultset.AlwaysTrueResultSet

Creates an instance of a AlwaysTrueResultSet record class.

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 interface tools.refinery.store.query.OrderedResultSet

close() - Method in class tools.refinery.store.query.resultset.OrderedResultSetImpl

close() - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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.AlwaysTrueResultSet

Indicates whether some other object is "equal to" this one.

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.AlwaysTrueResultSet

get(Tuple) - Method in record class tools.refinery.store.query.resultset.EmptyResultSet

get(Tuple) - Method in class tools.refinery.store.query.resultset.OrderedResultSetImpl

get(Tuple) - Method in class tools.refinery.store.query.resultset.PriorityResultSet

get(Tuple) - Method in interface tools.refinery.store.query.resultset.ResultSet

getAdapter() - Method in class tools.refinery.store.query.resultset.AbstractResultSet

getAdapter() - Method in record class tools.refinery.store.query.resultset.AlwaysTrueResultSet

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.OrderedResultSetImpl

getAdapter() - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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.AlwaysTrueResultSet

getAll() - Method in record class tools.refinery.store.query.resultset.EmptyResultSet

getAll() - Method in class tools.refinery.store.query.resultset.OrderedResultSetImpl

getAll() - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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 record class tools.refinery.store.query.resultset.AlwaysTrueResultSet

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.OrderedResultSetImpl

getCanonicalQuery() - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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

getHighestPriority() - Method in class tools.refinery.store.query.resultset.PriorityAgenda

getImpliedRelationViews() - Method in class tools.refinery.store.query.view.AbstractFunctionView

getImpliedRelationViews() - Method in interface tools.refinery.store.query.view.AnySymbolView

getKey(int) - Method in interface tools.refinery.store.query.OrderedResultSet

getKey(int) - Method in class tools.refinery.store.query.resultset.OrderedResultSetImpl

getKey(int) - Method in class tools.refinery.store.query.resultset.PriorityResultSet

getParameters() - Method in class tools.refinery.store.query.view.AbstractFunctionView

getParameters() - Method in class tools.refinery.store.query.view.TuplePreservingView

getPriority() - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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.AlwaysTrueResultSet

Returns a hash code value for this object.

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

isEnabled(int) - Method in class tools.refinery.store.query.resultset.PriorityAgenda

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

of(ResultSet<T>, int, PriorityAgenda) - Static method in class tools.refinery.store.query.resultset.PriorityResultSet

OrderedResultSet<T> - Interface in tools.refinery.store.query

OrderedResultSetImpl<T> - Class in tools.refinery.store.query.resultset

OrderedResultSetImpl(ResultSet<T>) - Constructor for class tools.refinery.store.query.resultset.OrderedResultSetImpl

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

PriorityAgenda - Class in tools.refinery.store.query.resultset

PriorityAgenda() - Constructor for class tools.refinery.store.query.resultset.PriorityAgenda

PriorityResultSet<T> - Class in tools.refinery.store.query.resultset

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.AlwaysTrueResultSet

Returns the value of the query record component.

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<Boolean>) - Method in record class tools.refinery.store.query.resultset.AlwaysTrueResultSet

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.OrderedResultSetImpl

removeListener(ResultSetListener<T>) - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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 record class tools.refinery.store.query.resultset.AlwaysTrueResultSet

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.OrderedResultSetImpl

size() - Method in class tools.refinery.store.query.resultset.PriorityResultSet

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.AlwaysTrueResultSet

Returns a string representation of this record class.

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