Index

A B C D E F G H I L M N O P Q R S T U V _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

AbstractLocalSearchResultProvider - Class in tools.refinery.interpreter.localsearch.matcher.integration

AbstractLocalSearchResultProvider(LocalSearchBackend, IQueryBackendContext, PQuery, IPlanProvider, QueryEvaluationHint) - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

AbstractOperationCompiler - Class in tools.refinery.interpreter.localsearch.planner.compiler

AbstractOperationCompiler(IQueryRuntimeContext) - Constructor for class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

accessBackendLevelCache(Object, Class<? extends T>, IProvider<T>) - Method in interface tools.refinery.interpreter.localsearch.matcher.ISearchContext

Allows search operations to cache values through the entire lifecycle of the local search backend.

accessBackendLevelCache(Object, Class<? extends T>, IProvider<T>) - Method in class tools.refinery.interpreter.localsearch.matcher.ISearchContext.SearchContext

adapterRegistered(ILocalSearchAdaptable) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

adapterUnregistered(ILocalSearchAdaptable) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

addAdapter(ILocalSearchAdapter) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdaptable

addAdapter(ILocalSearchAdapter) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

addAdapter(ILocalSearchAdapter) - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

addAdapter(ILocalSearchAdapter) - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

addAdapters(List<ILocalSearchAdapter>) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdaptable

addAdapters(List<ILocalSearchAdapter>) - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

addAdapters(List<ILocalSearchAdapter>) - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

addUpdateListener(IUpdateable, Object, boolean) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

ADORNMENT_PROVIDER - Static variable in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHintOptions

A provider of expected adornments IAdornmentProvider.

AggregatorCheck - Class in tools.refinery.interpreter.localsearch.operations.check

Calculates the aggregated value of a column based on the given AggregatorConstraint

AggregatorCheck(CallInformation, AggregatorConstraint, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.AggregatorCheck

AggregatorExtend - Class in tools.refinery.interpreter.localsearch.operations.extend

Calculates the aggregated value of a column based on the given AggregatorConstraint

AggregatorExtend(CallInformation, AggregatorConstraint, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.AggregatorExtend

AllValidAdornments - Class in tools.refinery.interpreter.localsearch.matcher.integration

This implementation calculates all valid adornments for the given query, respecting the parameter direction constraints.

AllValidAdornments() - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.AllValidAdornments

apply(IConstraintEvaluationContext) - Method in interface tools.refinery.interpreter.localsearch.planner.cost.ICostFunction

apply(IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

apply(IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.VariableBindingBasedCostFunction

applyChecks(List<PConstraintInfo>) - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

Check operations that newly became applicable (see PlanState.getDeltaVariables()) are appended to operations lists.

applyChecksBasedOnDelta(Map<PVariable, List<PConstraintInfo>>) - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

Immediately applicable checks are appended to operations lists.

B

backend - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

backendContext - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

Backward(CallInformation, int, int, boolean) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure.Backward

BinaryTransitiveClosureCheck - Class in tools.refinery.interpreter.localsearch.operations.check

Checking for a transitive closure expressed as a local search pattern matcher.

BinaryTransitiveClosureCheck(CallInformation, int, int, boolean) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.BinaryTransitiveClosureCheck

The source position will be matched in the called pattern to the first parameter; while target to the second.

bucketSize(IQueryReference, IConstraintEvaluationContext, TupleMask) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

Override this to provide custom estimates for match set sizes of called patterns.

build() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

build(QueryEvaluationHint) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

C

cacheVariableBindings(SubPlan, Map<PVariable, Integer>, Set<PParameter>) - Static method in class tools.refinery.interpreter.localsearch.planner.util.CompilerHelper

calculateBinaryCost(IInputKey, PVariable, PVariable, boolean, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

calculateBinaryExtendCost(IInputKey, PVariable, PVariable, boolean, long, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

Deprecated.

use/implement StatisticsBasedConstraintCostFunction.calculateBinaryCost(IInputKey, PVariable, PVariable, boolean, IConstraintEvaluationContext) instead

calculateCallFrame(Object) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure.Backward

calculateCallFrame(Object) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

calculateCallFrame(Object) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure.Forward

calculateCost(PConstraint, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

calculateParameterMask() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

calculateRequiredCapability(PQuery, QueryEvaluationHint) - Method in enum class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactory

calculateUnaryConstraintCost(TypeConstraint, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

CALL_DELEGATION_STRATEGY - Static variable in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHintOptions

Strategy to decide how hints (most importantly, backend selection) propagate across pattern calls.

CallInformation - Class in tools.refinery.interpreter.localsearch.operations.util

This class stores a precompiled version of call-related metadata and masks for local search operations

CallWithAdornment - Class in tools.refinery.interpreter.localsearch.matcher

Immutable data that represents the role of a pattern call within an LS query plan.

CallWithAdornment(IQueryReference, Set<PParameter>) - Constructor for class tools.refinery.interpreter.localsearch.matcher.CallWithAdornment

canBeSubstitute(IMatcherCapability) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

check(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.CheckOperationExecutor

Executes the checking operation

CheckConstant - Class in tools.refinery.interpreter.localsearch.operations.check

This operation handles constants in search plans by checking if a variable is bound to a certain constant value.

CheckConstant(int, Object) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.CheckConstant

CheckOperationExecutor - Class in tools.refinery.interpreter.localsearch.operations

Abstract base class for search operations that check only the already set variables.

CheckOperationExecutor() - Constructor for class tools.refinery.interpreter.localsearch.operations.CheckOperationExecutor

CheckPositivePatternCall - Class in tools.refinery.interpreter.localsearch.operations.check

CheckPositivePatternCall(CallInformation) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.CheckPositivePatternCall

cleanup(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.extend.SingleValueExtendOperationExecutor

cleanup(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.ExtendOperationExecutor

Restores the frame to the state before ExtendOperationExecutor.fillInValue(Object, MatchingFrame, ISearchContext).

cloneWithApplied(PConstraintInfo) - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

compare(PConstraintInfo, PConstraintInfo) - Method in class tools.refinery.interpreter.localsearch.planner.util.OperationCostComparator

compile(List<List<ISearchOperation>>) - Method in interface tools.refinery.interpreter.localsearch.planner.ISearchPlanCodeGenerator

compile(SubPlan, Set<PParameter>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

Compiles a plan of POperations to a list of type Listinvalid input: '&ltISearchOperation'>

compile(SubPlan, Set<PParameter>) - Method in interface tools.refinery.interpreter.localsearch.planner.compiler.IOperationCompiler

Compiles a plan of POperations to a list of type Listinvalid input: '&ltISearchOperation'>

CompilerHelper - Class in tools.refinery.interpreter.localsearch.planner.util

Helper methods for compiling SubPlans

convertPlan(Set<PVariable>, PlanState) - Method in class tools.refinery.interpreter.localsearch.planner.LocalSearchRuntimeBasedStrategy

Converts a plan to the standard format

cost() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

Calculates the cost of the search plan.

CountCheck - Class in tools.refinery.interpreter.localsearch.operations.check

Calculates the count of matches for a called matcher

CountCheck(CallInformation, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.CountCheck

countMatches(Object[]) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

countMatches(TupleMask, ITuple) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

CountOperation - Class in tools.refinery.interpreter.localsearch.operations.extend

Calculates the count of matches for a called matcher

CountOperation(CallInformation, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.CountOperation

countTuples(IConstraintEvaluationContext, IInputKey) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

Deprecated.

call and implement StatisticsBasedConstraintCostFunction.projectionSize(IConstraintEvaluationContext, IInputKey, TupleMask, Accuracy) instead

create(IQueryBackendContext) - Method in enum class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactory

create(PatternCallBasedDeferred, Map<PVariable, Integer>, Set<Integer>) - Static method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

create(BinaryReflexiveTransitiveClosure, Map<PVariable, Integer>, Set<Integer>) - Static method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

create(BinaryTransitiveClosure, Map<PVariable, Integer>, Set<Integer>) - Static method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

create(PositivePatternCall, Map<PVariable, Integer>, Set<Integer>) - Static method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

createCheck(AggregatorConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(ExpressionEvaluation, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(Inequality, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(NegativePatternCall, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(PatternMatchCounter, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(TypeFilterConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(TypeFilterConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.GenericOperationCompiler

createCheck(BinaryReflexiveTransitiveClosure, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(BinaryTransitiveClosure, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(ConstantValue, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(PositivePatternCall, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(TypeConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createCheck(TypeConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.GenericOperationCompiler

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.AggregatorCheck

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.BinaryTransitiveClosureCheck

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckConstant

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckPositivePatternCall

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.CountCheck

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionCheck

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionEvalCheck

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.InequalityCheck

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.check.NACOperation

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.extend.AggregatorExtend

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.extend.CountOperation

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExpressionEval

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendConstant

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendPositivePatternCall

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeCheck

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtend

createExecutor() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtendSingleValue

createExecutor() - Method in interface tools.refinery.interpreter.localsearch.operations.ISearchOperation

Initializes a new operation executor for the given operation.

createExtend(AggregatorConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(ExpressionEvaluation, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(PatternMatchCounter, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(BinaryReflexiveTransitiveClosure, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(BinaryTransitiveClosure, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(ConstantValue, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(PositivePatternCall, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(TypeConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createExtend(TypeConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.GenericOperationCompiler

createExtendDispatcher(PConstraint, Map<PVariable, Integer>) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createOperationsList(SubPlan) - Static method in class tools.refinery.interpreter.localsearch.planner.util.CompilerHelper

Extracts the operations from a SubPlan into a list of POperations in the order of execution

createUnaryTypeCheck(IInputKey, int) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

createUnaryTypeCheck(IInputKey, int) - Method in class tools.refinery.interpreter.localsearch.planner.compiler.GenericOperationCompiler

createVariableMapping(SubPlan) - Static method in class tools.refinery.interpreter.localsearch.planner.util.CompilerHelper

customizeAdornmentProvider(IAdornmentProvider) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

customizeCallDelegationStrategy(ICallDelegationStrategy) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

customizeCostFunction(ICostFunction) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

customizeFlattenCallPredicate(IFlattenCallPredicate) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

customizeRowCount(int) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

customizeTraceCollector(IRewriterTraceCollector) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

customizeUseBase(boolean) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

D

DEFAULT_COST - Static variable in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

dependencies - Variable in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

dispose() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

DontFlattenDisjunctive - Class in tools.refinery.interpreter.localsearch.matcher.integration

Forbids flattening of patterns that have more than one body.

DontFlattenDisjunctive() - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.DontFlattenDisjunctive

DontFlattenIncrementalPredicate - Class in tools.refinery.interpreter.localsearch.matcher.integration

This implementation forbids flattening of patterns marked to be executed with a caching / incremental backend.

DontFlattenIncrementalPredicate() - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.DontFlattenIncrementalPredicate

duplicateMatchFound(MatchingFrame) - Method in class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

duplicateMatchFound(MatchingFrame) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback that is used to indicate that the previously reported match has been found as a duplicate, thus will be ignored from the match results.

E

equals(Object) - Method in class tools.refinery.interpreter.localsearch.matcher.MatcherReference

estimateAverageBucketSize(TupleMask, Accuracy) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

estimateCardinality(TupleMask, Accuracy) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

estimateCost(TupleMask) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

EVAL_UNWIND_EXTENSION_FACTOR - Static variable in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

execute(MatchingFrame) - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

execute(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.CheckOperationExecutor

execute(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.ExtendOperationExecutor

Fixed version that handles failed unification of variables correctly.

execute(MatchingFrame, ISearchContext) - Method in interface tools.refinery.interpreter.localsearch.operations.ISearchOperation.ISearchOperationExecutor

ExecutionLoggerAdapter - Class in tools.refinery.interpreter.localsearch

ExecutionLoggerAdapter(Consumer<String>) - Constructor for class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

executorInitializing(SearchPlan, MatchingFrame) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback method to indicate that a search plan is initialized in an executor with the given frame and starting operation

ExpressionCheck - Class in tools.refinery.interpreter.localsearch.operations.check

ExpressionCheck(IExpressionEvaluator, Map<String, Integer>) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.ExpressionCheck

ExpressionEval - Class in tools.refinery.interpreter.localsearch.operations.extend

Calculates the result of an expression and stores it inside a variable for future reference.

ExpressionEval(IExpressionEvaluator, Map<String, Integer>, boolean, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.ExpressionEval

ExpressionEval(IExpressionEvaluator, Map<String, Integer>, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.ExpressionEval

ExpressionEvalCheck - Class in tools.refinery.interpreter.localsearch.operations.check

ExpressionEvalCheck(IExpressionEvaluator, Map<String, Integer>, boolean, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.ExpressionEvalCheck

ExpressionEvalCheck(IExpressionEvaluator, Map<String, Integer>, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.ExpressionEvalCheck

ExtendBinaryTransitiveClosure - Class in tools.refinery.interpreter.localsearch.operations.extend

Checking for a transitive closure expressed as a local search pattern matcher.

ExtendBinaryTransitiveClosure(CallInformation, int, int, boolean) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

The source position will be matched in the called pattern to the first parameter; while target to the second.

ExtendBinaryTransitiveClosure.Backward - Class in tools.refinery.interpreter.localsearch.operations.extend

Calculates the transitive closure of a pattern match in a backward direction (first parameter unbound, second bound)

ExtendBinaryTransitiveClosure.Forward - Class in tools.refinery.interpreter.localsearch.operations.extend

Calculates the transitive closure of a pattern match in a forward direction (first parameter bound, second unbound).

ExtendConstant - Class in tools.refinery.interpreter.localsearch.operations.extend

This operation handles constants in search plans by binding a variable to a constant value.

ExtendConstant(int, Object) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.ExtendConstant

ExtendOperationExecutor<T> - Class in tools.refinery.interpreter.localsearch.operations

An operation that can be used to enumerate all possible values for a single position based on a constraint

ExtendOperationExecutor() - Constructor for class tools.refinery.interpreter.localsearch.operations.ExtendOperationExecutor

ExtendPositivePatternCall - Class in tools.refinery.interpreter.localsearch.operations.extend

ExtendPositivePatternCall(CallInformation) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.ExtendPositivePatternCall

F

fillInValue(T, MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.extend.SingleValueExtendOperationExecutor

fillInValue(T, MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.ExtendOperationExecutor

Updates the frame with the next element of the iterator.

FLATTEN_CALL_PREDICATE - Static variable in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHintOptions

Predicate to decide whether to flatten specific positive pattern calls IFlattenCallPredicate

flushUpdates() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

forgetAllPlans() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

Forgets all stored plans in this result provider.

Forward(CallInformation, int, int, boolean) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure.Forward

FUTURE - Enum constant in enum class tools.refinery.interpreter.localsearch.planner.PConstraintCategory

G

GenericLocalSearchResultProvider - Class in tools.refinery.interpreter.localsearch.matcher.integration

GenericLocalSearchResultProvider(LocalSearchBackend, IQueryBackendContext, PQuery, IPlanProvider, QueryEvaluationHint) - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.GenericLocalSearchResultProvider

GenericOperationCompiler - Class in tools.refinery.interpreter.localsearch.planner.compiler

GenericOperationCompiler(IQueryRuntimeContext) - Constructor for class tools.refinery.interpreter.localsearch.planner.compiler.GenericOperationCompiler

GenericTypeCheck - Class in tools.refinery.interpreter.localsearch.operations.generic

GenericTypeCheck(IInputKey, int[], TupleMask) - Constructor for class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeCheck

GenericTypeExtend - Class in tools.refinery.interpreter.localsearch.operations.generic

GenericTypeExtend(IInputKey, int[], TupleMask, TupleMask, Set<Integer>) - Constructor for class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtend

GenericTypeExtendSingleValue - Class in tools.refinery.interpreter.localsearch.operations.generic

GenericTypeExtendSingleValue(IInputKey, int[], TupleMask, TupleMask, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtendSingleValue

get(int) - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

getAdapters() - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdaptable

getAdapters() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

Return a copy of the current adapters

getAdapters() - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

getAdapters() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

getAdornment() - Method in class tools.refinery.interpreter.localsearch.matcher.CallWithAdornment

getAdornment() - Method in class tools.refinery.interpreter.localsearch.matcher.MatcherReference

getAdornment() - Method in interface tools.refinery.interpreter.localsearch.plan.IPlanDescriptor

The set of parameters this plan assumes to be bound

getAdornment() - Method in class tools.refinery.interpreter.localsearch.plan.PlanDescriptor

getAdornmentProvider() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

getAdornments(PQuery) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AllValidAdornments

getAdornments(PQuery) - Method in interface tools.refinery.interpreter.localsearch.matcher.integration.IAdornmentProvider

The bound parameter sets

getAdornments(PQuery) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LazyPlanningAdornments

getAllMatches(Object[]) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

getAllMatches(TupleMask, ITuple) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

getAssociatedPBody() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

getBackendClass() - Method in enum class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactory

getBackendContext() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

getBody() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getBoundVariables() - Method in interface tools.refinery.interpreter.localsearch.planner.cost.IConstraintEvaluationContext

Bound variables at the time of evaluating the constraint

getBoundVariables() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getBoundVariables() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

getCache() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

Returns the internal cache of the backend

getCall() - Method in class tools.refinery.interpreter.localsearch.matcher.CallWithAdornment

getCall() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

getCallDelegationStrategy() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.check.AggregatorCheck

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.check.BinaryTransitiveClosureCheck

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckPositivePatternCall

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.check.CountCheck

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.check.NACOperation

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.extend.AggregatorExtend

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.extend.CountOperation

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

getCallInformation() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendPositivePatternCall

getCallInformation() - Method in interface tools.refinery.interpreter.localsearch.operations.IPatternMatcherOperation

Returns the precomputed call information associated with the current operation

getCallWithAdornment() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

getCapabilites() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

getCategory(PBody, Set<PVariable>) - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getCompiledOperations() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getConstraint() - Method in interface tools.refinery.interpreter.localsearch.planner.cost.IConstraintEvaluationContext

Get the constraint to be evaluated

getConstraint() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getContext() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

getCost() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getCost() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getCost() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

getCostFunction() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

getCummulativeProduct() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

getCurrentOperation() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

getDefault() - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

Default settings which are considered the most safe, providing a reasonable performance for most of the cases.

getDefaultGeneric() - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

Initializes the generic (not EMF specific) search backend with the default settings

getDefaultGenericHybrid() - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

Initializes the generic (not EMF specific) search backend with hybrid-enabled settings

getDefaultHybrid() - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

Initializes the default search backend with hybrid-enabled settings

getDefaultOverriddenBy(QueryEvaluationHint) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

Return the default settings overridden by the given hints

getDeltaVariables() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

Contains only those variables that are added by the newest extend (or the initially bound ones if no extend yet)

getDependencies() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getDependencies() - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

getDependencies() - Method in interface tools.refinery.interpreter.localsearch.planner.compiler.IOperationCompiler

Replaces previous method returning MatcherReference

getElements() - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

getEnforcedConstraints() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

getFactory() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactoryProvider

getFlattenCallPredicate() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

getFreeParameterIndices() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

Returns the parameter indices that are unbound before the call

getFreeVariables() - Method in interface tools.refinery.interpreter.localsearch.planner.cost.IConstraintEvaluationContext

Unbound variables at the time of evaluating the constraint

getFreeVariables() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getFullFrameMask() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

Returns a mask describing how all variables of a Matching Frame are mapped to parameter indexes

getHintProvider() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

getHints() - Method in class tools.refinery.interpreter.localsearch.matcher.MatcherReference

getInternalRepresentation() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getIteratedInputKey() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeCheck

getIteratedInputKey() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtend

getIteratedInputKey() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtendSingleValue

getIteratedInputKey() - Method in interface tools.refinery.interpreter.localsearch.operations.IIteratingSearchOperation

Get the IInputKey which instances this operation iterates upon.

getIteratedKeys() - Method in interface tools.refinery.interpreter.localsearch.plan.IPlanDescriptor

The collection of IInputKeys which needs to be iterated during the execution of this plan.

getIteratedKeys() - Method in class tools.refinery.interpreter.localsearch.plan.PlanDescriptor

getIterator(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.ExtendOperationExecutor

Returns an iterator with the possible options from the current state

getLogger() - Method in interface tools.refinery.interpreter.localsearch.matcher.ISearchContext

Returns the engine-specific logger

getLogger() - Method in class tools.refinery.interpreter.localsearch.matcher.ISearchContext.SearchContext

getMatcher(CallWithAdornment) - Method in interface tools.refinery.interpreter.localsearch.matcher.ISearchContext

Returns a matcher for a selected query specification.

getMatcher(CallWithAdornment) - Method in class tools.refinery.interpreter.localsearch.matcher.ISearchContext.SearchContext

getMatcherReference() - Method in class tools.refinery.interpreter.localsearch.matcher.CallWithAdornment

getOneArbitraryMatch(Object[]) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

getOneArbitraryMatch(TupleMask, ITuple) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

getOperation() - Method in interface tools.refinery.interpreter.localsearch.operations.ISearchOperation.ISearchOperationExecutor

Returns the stateless operation this executor was initialized from

getOperationCompiler(IQueryBackendContext, LocalSearchHints) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

getOperationCompiler(IQueryBackendContext, LocalSearchHints) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.GenericLocalSearchResultProvider

getOperationIndex(ISearchOperation) - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlan

Returns the index of a given operation in the plan

getOperations() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlan

Returns an immutable list of operations stored in the plan.

getOperations() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

getParameterCount() - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

getParameterKeys() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getParameterMask() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

Returns a mask describing the adornment the called pattern uses

getParameterMask() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlan

getParameterMask() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

getPlan() - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

getPlan() - Method in interface tools.refinery.interpreter.localsearch.plan.IPlanDescriptor

The executable search plans for each body in the query

getPlan() - Method in class tools.refinery.interpreter.localsearch.plan.PlanDescriptor

getPlan() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getPlan(IQueryBackendContext, IOperationCompiler, ResultProviderRequestor, LocalSearchHints, MatcherReference) - Method in interface tools.refinery.interpreter.localsearch.plan.IPlanProvider

getPlan(IQueryBackendContext, IOperationCompiler, ResultProviderRequestor, LocalSearchHints, MatcherReference) - Method in class tools.refinery.interpreter.localsearch.plan.SimplePlanProvider

getPlanDescriptor() - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

getPresentExtends() - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

getQuery() - Method in class tools.refinery.interpreter.localsearch.matcher.MatcherReference

getQuery() - Method in interface tools.refinery.interpreter.localsearch.plan.IPlanDescriptor

The query which this plan implements

getQuery() - Method in class tools.refinery.interpreter.localsearch.plan.PlanDescriptor

getQueryAnalyzer() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

getQueryAnalyzer() - Method in interface tools.refinery.interpreter.localsearch.planner.cost.IConstraintEvaluationContext

getQueryAnalyzer() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getQueryBackend() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

getQuerySpecification() - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

Returns the query specification this matcher used as source for the implementation

getReference() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

getReferredQuery() - Method in class tools.refinery.interpreter.localsearch.matcher.CallWithAdornment

getResultProvider(PQuery) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

getResultProvider(PQuery, QueryEvaluationHint) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

getResultProviderRequestor(PQuery, QueryEvaluationHint) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

Returns a requestor that this backend uses while processing pattern calls from this query.

getRowCount() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

getRuntimeContext() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

getRuntimeContext() - Method in interface tools.refinery.interpreter.localsearch.matcher.ISearchContext

Provides access to the generic query runtime context of the current engine

getRuntimeContext() - Method in class tools.refinery.interpreter.localsearch.matcher.ISearchContext.SearchContext

getRuntimeContext() - Method in interface tools.refinery.interpreter.localsearch.planner.cost.IConstraintEvaluationContext

getRuntimeContext() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getSameWithDifferentBindings() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

getSearchPlan() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

getSearchPlan(Set<PParameter>) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

Returns a search plan for a given adornment if exists

getSearchPlan(PQuery, Set<PParameter>) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

Returns a search plan for a given query and adornment if such plan is already calculated.

getSize() - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

getSourceBody() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlan

getTarget(Tuple) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure.Backward

getTarget(Tuple) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure.Forward

getTarget(Tuple) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

getThinFrameMask() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

Returns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexes

getTraceCollector() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

getValue(int) - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

Returns the value stored inside the matching frame.

getValue(String) - Method in class tools.refinery.interpreter.localsearch.operations.MatchingFrameValueProvider

getVariableKeys() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

getVariableMapping() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlan

Returns an immutable map of variable mappings for the plan

getVariableMapping() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

getVariableMappings() - Method in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

getVariableMappings() - Method in interface tools.refinery.interpreter.localsearch.planner.compiler.IOperationCompiler

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.AggregatorCheck

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.BinaryTransitiveClosureCheck

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckConstant

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckPositivePatternCall

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.CountCheck

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionCheck

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionEvalCheck

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.InequalityCheck

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.check.NACOperation

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.extend.AggregatorExtend

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.extend.CountOperation

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExpressionEval

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendConstant

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendPositivePatternCall

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeCheck

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtend

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtendSingleValue

getVariablePositions() - Method in interface tools.refinery.interpreter.localsearch.operations.ISearchOperation

getVariablePositions() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

H

hashCode() - Method in class tools.refinery.interpreter.localsearch.matcher.MatcherReference

hasMatch(Object[]) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

hasMatch(TupleMask, ITuple) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

hintCache - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

HybridMatcherConstraintCostFunction - Class in tools.refinery.interpreter.localsearch.planner.cost.impl

Deprecated.

StatisticsBasedConstraintCostFunction should use IQueryResultProvider.estimateCardinality(TupleMask, org.eclipse.viatra.query.runtime.matchers.util.Accuracy)

HybridMatcherConstraintCostFunction() - Constructor for class tools.refinery.interpreter.localsearch.planner.cost.impl.HybridMatcherConstraintCostFunction

Deprecated.

I

IAdornmentProvider - Interface in tools.refinery.interpreter.localsearch.matcher.integration

An adornment provider is used to define the adornments the pattern matcher should prepare for.

IConstraintEvaluationContext - Interface in tools.refinery.interpreter.localsearch.planner.cost

This interface denotes the evaluation context of a constraint, intended for cost estimation.

ICostFunction - Interface in tools.refinery.interpreter.localsearch.planner.cost

Common interface for cost function implementation

IIteratingSearchOperation - Interface in tools.refinery.interpreter.localsearch.operations

Denotes a ISearchOperation which involves iterating over an instances of an IInputKey

ILocalSearchAdaptable - Interface in tools.refinery.interpreter.localsearch.matcher

ILocalSearchAdapter - Interface in tools.refinery.interpreter.localsearch.matcher

A local search adapter allows external code to follow the internal executions of the local search matcher.

ILocalSearchPlanner - Interface in tools.refinery.interpreter.localsearch.planner

IndexerBasedConstraintCostFunction - Class in tools.refinery.interpreter.localsearch.planner.cost.impl

Cost function which calculates cost based on the cardinality of items in the runtime model, provided by the base indexer

IndexerBasedConstraintCostFunction() - Constructor for class tools.refinery.interpreter.localsearch.planner.cost.impl.IndexerBasedConstraintCostFunction

IndexerBasedConstraintCostFunction(double) - Constructor for class tools.refinery.interpreter.localsearch.planner.cost.impl.IndexerBasedConstraintCostFunction

indexInitializationBeforePlanning() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

This method is called before planning start to allow indexing.

indexInitializationBeforePlanning() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.GenericLocalSearchResultProvider

indexReferredTypesOfQuery(PQuery, IndexingService) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

Collects and indexes all types _directly_ referred by the PQuery AbstractLocalSearchResultProvider.query.

InequalityCheck - Class in tools.refinery.interpreter.localsearch.operations.check

InequalityCheck(int, int) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.InequalityCheck

initializeResultProvider(PQuery, QueryEvaluationHint) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

INSTANCE - Enum constant in enum class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactory

INVERSE_NAVIGATION_PENALTY_DEFAULT - Static variable in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

INVERSE_NAVIGATION_PENALTY_GENERIC - Static variable in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

IOperationCompiler - Interface in tools.refinery.interpreter.localsearch.planner.compiler

An operation compiler is responsible for creating executable search plans from the subplan structure.

IPatternMatcherOperation - Interface in tools.refinery.interpreter.localsearch.operations

Marker interface for pattern matcher call operations, such as positive and negative pattern calls or match aggregators.

IPlanDescriptor - Interface in tools.refinery.interpreter.localsearch.plan

Denotes an executable plan

IPlanProvider - Interface in tools.refinery.interpreter.localsearch.plan

isCaching() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

isCaching() - Method in enum class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactory

ISearchContext - Interface in tools.refinery.interpreter.localsearch.matcher

The ISearchContext interface allows search operations to reuse platform services such as the indexer.

ISearchContext.SearchContext - Class in tools.refinery.interpreter.localsearch.matcher

ISearchOperation - Interface in tools.refinery.interpreter.localsearch.operations

Represents a search operation executable by the LS engine.

ISearchOperation.ISearchOperationExecutor - Interface in tools.refinery.interpreter.localsearch.operations

ISearchPlanCodeGenerator - Interface in tools.refinery.interpreter.localsearch.planner

isUseBase() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

L

LazyPlanningAdornments - Class in tools.refinery.interpreter.localsearch.matcher.integration

This adornment provider does not trigger the preparation of any plans.

LazyPlanningAdornments() - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.LazyPlanningAdornments

LocalSearchBackend - Class in tools.refinery.interpreter.localsearch.matcher.integration

LocalSearchBackend(IQueryBackendContext) - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

LocalSearchException - Exception Class in tools.refinery.interpreter.localsearch.exceptions

LocalSearchException(String) - Constructor for exception class tools.refinery.interpreter.localsearch.exceptions.LocalSearchException

LocalSearchException(String, Throwable) - Constructor for exception class tools.refinery.interpreter.localsearch.exceptions.LocalSearchException

LocalSearchGenericBackendFactory - Enum Class in tools.refinery.interpreter.localsearch.matcher.integration

LocalSearchGenericBackendFactoryProvider - Class in tools.refinery.interpreter.localsearch.matcher.integration

LocalSearchGenericBackendFactoryProvider() - Constructor for class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactoryProvider

LocalSearchHintOptions - Class in tools.refinery.interpreter.localsearch.matcher.integration

LocalSearchHints - Class in tools.refinery.interpreter.localsearch.matcher.integration

Type safe builder and extractor for Local search specific hints

LocalSearchMatcher - Class in tools.refinery.interpreter.localsearch.matcher

LocalSearchMatcher(ISearchContext, IPlanDescriptor, List<SearchPlan>) - Constructor for class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

LocalSearchPlanner - Class in tools.refinery.interpreter.localsearch.planner

LocalSearchPlanner(IQueryBackendContext, IOperationCompiler, Logger, LocalSearchHints, ResultProviderRequestor) - Constructor for class tools.refinery.interpreter.localsearch.planner.LocalSearchPlanner

LocalSearchProfilerAdapter - Class in tools.refinery.interpreter.localsearch.profiler

This is a simple ILocalSearchAdapter which capable of counting each search operation execution then printing it in human readably form (along with the executed plans) using LocalSearchProfilerAdapter.toString()

LocalSearchProfilerAdapter() - Constructor for class tools.refinery.interpreter.localsearch.profiler.LocalSearchProfilerAdapter

LocalSearchRuntimeBasedStrategy - Class in tools.refinery.interpreter.localsearch.planner

This class contains the logic for local search plan calculation based on costs of the operations.

LocalSearchRuntimeBasedStrategy() - Constructor for class tools.refinery.interpreter.localsearch.planner.LocalSearchRuntimeBasedStrategy

M

MatcherReference - Class in tools.refinery.interpreter.localsearch.matcher

MatcherReference(PQuery, Set<PParameter>) - Constructor for class tools.refinery.interpreter.localsearch.matcher.MatcherReference

MatcherReference(PQuery, Set<PParameter>, QueryEvaluationHint) - Constructor for class tools.refinery.interpreter.localsearch.matcher.MatcherReference

matchFound(SearchPlan, MatchingFrame) - Method in class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

matchFound(SearchPlan, MatchingFrame) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback that is used to indicate that a match has been found

MatchingFrame - Class in tools.refinery.interpreter.localsearch

A MatchingFrame is a Volatile Tuple implementation used by the local search engine internally.

MatchingFrame(int) - Constructor for class tools.refinery.interpreter.localsearch.MatchingFrame

MatchingFrame(MatchingFrame) - Constructor for class tools.refinery.interpreter.localsearch.MatchingFrame

Creates a copy of another matching frame; the two frames can be updated separately

MatchingFrameValueProvider - Class in tools.refinery.interpreter.localsearch.operations

MatchingFrameValueProvider(MatchingFrame, Map<String, Integer>) - Constructor for class tools.refinery.interpreter.localsearch.operations.MatchingFrameValueProvider

MAX_COST - Static variable in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

N

NACOperation - Class in tools.refinery.interpreter.localsearch.operations.check

NACOperation(CallInformation) - Constructor for class tools.refinery.interpreter.localsearch.operations.check.NACOperation

navigatesThroughFunctionalDependency(IConstraintEvaluationContext, PConstraint) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

navigatesThroughFunctionalDependency(IConstraintEvaluationContext, PConstraint, Collection<PVariable>, Collection<PVariable>) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

navigatesThroughFunctionalDependencyInverse(IConstraintEvaluationContext, PConstraint) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

newLocalSearchMatcher(Object[]) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

newLocalSearchMatcher(ITuple) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

noMoreMatchesAvailable(LocalSearchMatcher) - Method in class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

noMoreMatchesAvailable(LocalSearchMatcher) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback method to indicate the end of a matching process

O

onBacktrack(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.CheckOperationExecutor

onBacktrack(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.ExtendOperationExecutor

onBacktrack(MatchingFrame, ISearchContext) - Method in interface tools.refinery.interpreter.localsearch.operations.ISearchOperation.ISearchOperationExecutor

After the execution of the operation failed and ISearchOperation.ISearchOperationExecutor.execute(MatchingFrame, ISearchContext) returns false, the onBacktrack callback is evaluated.

onInitialize(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.CheckOperationExecutor

onInitialize(MatchingFrame, ISearchContext) - Method in class tools.refinery.interpreter.localsearch.operations.ExtendOperationExecutor

onInitialize(MatchingFrame, ISearchContext) - Method in interface tools.refinery.interpreter.localsearch.operations.ISearchOperation.ISearchOperationExecutor

During the execution of the corresponding plan, the onInitialize callback is evaluated before the execution of the operation may begin.

OperationCostComparator - Class in tools.refinery.interpreter.localsearch.planner.util

OperationCostComparator() - Constructor for class tools.refinery.interpreter.localsearch.planner.util.OperationCostComparator

operationExecuted(SearchPlan, ISearchOperation, MatchingFrame, boolean) - Method in class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

operationExecuted(SearchPlan, ISearchOperation, MatchingFrame, boolean) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback method to indicate that an operation is executed

operationExecuted(SearchPlan, ISearchOperation, MatchingFrame, boolean) - Method in class tools.refinery.interpreter.localsearch.profiler.LocalSearchProfilerAdapter

operations - Variable in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

operationSelected(SearchPlan, ISearchOperation, MatchingFrame, boolean) - Method in class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

operationSelected(SearchPlan, ISearchOperation, MatchingFrame, boolean) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback method to indicate the selection of an operation to execute

P

parse(QueryEvaluationHint) - Static method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

PAST - Enum constant in enum class tools.refinery.interpreter.localsearch.planner.PConstraintCategory

patternMatchingStarted(LocalSearchMatcher) - Method in class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

patternMatchingStarted(LocalSearchMatcher) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback method to indicate the start of a matching process

patternMatchingStarted(LocalSearchMatcher) - Method in class tools.refinery.interpreter.localsearch.profiler.LocalSearchProfilerAdapter

PConstraintCategory - Enum Class in tools.refinery.interpreter.localsearch.planner

Expresses the state of a PConstraint application condition with respect to a given adornment.

PConstraintInfo - Class in tools.refinery.interpreter.localsearch.planner

Wraps a PConstraint together with information required for the planner.

PConstraintInfo(PConstraint, Set<PVariable>, Set<PVariable>, Set<PConstraintInfo>, IQueryBackendContext, ResultProviderRequestor, Function<IConstraintEvaluationContext, Double>) - Constructor for class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

Instantiates the wrapper

peekExistingResultProvider(PQuery) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

plan(PBody, Set<PVariable>, IQueryBackendContext, ResultProviderRequestor, LocalSearchHints) - Method in class tools.refinery.interpreter.localsearch.planner.LocalSearchRuntimeBasedStrategy

The implementation of a local search-based algorithm to create a search plan for a flattened (and normalized) PBody

plan(PQuery, Set<PParameter>) - Method in interface tools.refinery.interpreter.localsearch.planner.ILocalSearchPlanner

Creates executable plans for the provided query.

plan(PQuery, Set<PParameter>) - Method in class tools.refinery.interpreter.localsearch.planner.LocalSearchPlanner

Creates executable plans for the provided query.

PLAN_EXECUTION_ERROR - Static variable in exception class tools.refinery.interpreter.localsearch.exceptions.LocalSearchException

planChanged(Optional<SearchPlan>, Optional<SearchPlan>) - Method in class tools.refinery.interpreter.localsearch.ExecutionLoggerAdapter

planChanged(Optional<SearchPlan>, Optional<SearchPlan>) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdapter

Callback method to indicate switching to a new plan during the execution of a pattern matching

PlanDescriptor - Class in tools.refinery.interpreter.localsearch.plan

PlanDescriptor(PQuery, Collection<SearchPlanForBody>, Set<PParameter>) - Constructor for class tools.refinery.interpreter.localsearch.plan.PlanDescriptor

PLANNER_COST_FUNCTION - Static variable in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHintOptions

Cost function to be used by the planner.

PLANNER_TABLE_ROW_COUNT - Static variable in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHintOptions

planProvider - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

PlanState - Class in tools.refinery.interpreter.localsearch.planner

This class represents the state of the plan during planning.

PlanState(PBody, Set<PVariable>) - Constructor for class tools.refinery.interpreter.localsearch.planner.PlanState

Creates an initial state

position - Variable in class tools.refinery.interpreter.localsearch.operations.extend.SingleValueExtendOperationExecutor

prepare() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

Prepare this result provider.

prepareDirectDependencies() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

preparePlansForExpectedAdornments() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

PRESENT - Enum constant in enum class tools.refinery.interpreter.localsearch.planner.PConstraintCategory

printDebugInformation() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

projectionSize(IConstraintEvaluationContext, IInputKey, TupleMask, Accuracy) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.IndexerBasedConstraintCostFunction

projectionSize(IConstraintEvaluationContext, IInputKey, TupleMask, Accuracy) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

Override this to provide custom statistics on edge/node counts.

Q

query - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

R

recomputePlans() - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

Updates the previously stored search plans for one or more given queries, computing a new set of plans if necessary The new plans created are the same that would be created by executing prepare on the given query definitions.

recomputePlans(Collection<PQuery>) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

Updates the previously stored search plans for one or more given queries, computing a new set of plans if necessary The new plans created are the same that would be created by executing prepare on the given query definitions.

recomputePlans(PQuery...) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

Updates the previously stored search plans for one or more given queries, computing a new set of plans if necessary.

removeAdapter(ILocalSearchAdapter) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdaptable

removeAdapter(ILocalSearchAdapter) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchBackend

removeAdapter(ILocalSearchAdapter) - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

removeAdapter(ILocalSearchAdapter) - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

removeAdapters(List<ILocalSearchAdapter>) - Method in interface tools.refinery.interpreter.localsearch.matcher.ILocalSearchAdaptable

removeAdapters(List<ILocalSearchAdapter>) - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

removeAdapters(List<ILocalSearchAdapter>) - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

removeUpdateListener(Object) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

resetPlan() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

resultProviderAccess() - Method in interface tools.refinery.interpreter.localsearch.planner.cost.IConstraintEvaluationContext

Deprecated.

use IConstraintEvaluationContext.resultProviderRequestor()

resultProviderAccess() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

Deprecated.

use PConstraintInfo.resultProviderRequestor()

resultProviderRequestor - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

resultProviderRequestor() - Method in interface tools.refinery.interpreter.localsearch.planner.cost.IConstraintEvaluationContext

resultProviderRequestor() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

runtimeContext - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

runtimeContext - Variable in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

S

searchContext - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

SearchContext(IQueryBackendContext, ICache, ResultProviderRequestor) - Constructor for class tools.refinery.interpreter.localsearch.matcher.ISearchContext.SearchContext

Initializes a search context using an arbitrary backend context

SearchPlan - Class in tools.refinery.interpreter.localsearch.plan

A SearchPlan stores a collection of SearchPlanOperations for a fixed order of variables.

SearchPlan(PBody, List<ISearchOperation>, TupleMask, Map<PVariable, Integer>) - Constructor for class tools.refinery.interpreter.localsearch.plan.SearchPlan

SearchPlanExecutor - Class in tools.refinery.interpreter.localsearch.plan

A search plan executor is used to execute SearchPlan instances.

SearchPlanExecutor(SearchPlan, ISearchContext) - Constructor for class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

SearchPlanForBody - Class in tools.refinery.interpreter.localsearch.plan

This class is responsible for storing the results of the planner and operation compiler for a selected body.

SearchPlanForBody(PBody, Map<PVariable, Integer>, SubPlan, List<ISearchOperation>, Collection<CallWithAdornment>, Object, double) - Constructor for class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

set(int, Object) - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

setAdornmentProvider(IAdornmentProvider) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

setCallDelegationStrategy(ICallDelegationStrategy) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

setCostFunction(ICostFunction) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

setFlattenCallPredicate(IFlattenCallPredicate) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

setRowCount(int) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

setTraceCollector(IRewriterTraceCollector) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

setUseBase(boolean) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHints

setValue(int, Object) - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

Sets the value of the variable at the given position.

shouldFlatten(PositivePatternCall) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.DontFlattenDisjunctive

shouldFlatten(PositivePatternCall) - Method in class tools.refinery.interpreter.localsearch.matcher.integration.DontFlattenIncrementalPredicate

SimplePlanProvider - Class in tools.refinery.interpreter.localsearch.plan

A plan provider implementation which caches previously calculated plans to avoid re-planning for the same adornment

SimplePlanProvider(Logger) - Constructor for class tools.refinery.interpreter.localsearch.plan.SimplePlanProvider

SingleValueExtendOperationExecutor<T> - Class in tools.refinery.interpreter.localsearch.operations.extend

SingleValueExtendOperationExecutor(int) - Constructor for class tools.refinery.interpreter.localsearch.operations.extend.SingleValueExtendOperationExecutor

StatisticsBasedConstraintCostFunction - Class in tools.refinery.interpreter.localsearch.planner.cost.impl

Cost function which calculates cost based on the cardinality of items in the runtime model

StatisticsBasedConstraintCostFunction() - Constructor for class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

StatisticsBasedConstraintCostFunction(double) - Constructor for class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

streamMatches(Object[]) - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

streamMatches(TupleMask, ITuple) - Method in class tools.refinery.interpreter.localsearch.matcher.LocalSearchMatcher

T

testAndSetValue(Integer, Object) - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

toHint(IAdornmentProvider) - Static method in interface tools.refinery.interpreter.localsearch.matcher.integration.IAdornmentProvider

tools.refinery.interpreter.localsearch - package tools.refinery.interpreter.localsearch

tools.refinery.interpreter.localsearch.exceptions - package tools.refinery.interpreter.localsearch.exceptions

tools.refinery.interpreter.localsearch.matcher - package tools.refinery.interpreter.localsearch.matcher

tools.refinery.interpreter.localsearch.matcher.integration - package tools.refinery.interpreter.localsearch.matcher.integration

tools.refinery.interpreter.localsearch.operations - package tools.refinery.interpreter.localsearch.operations

tools.refinery.interpreter.localsearch.operations.check - package tools.refinery.interpreter.localsearch.operations.check

tools.refinery.interpreter.localsearch.operations.extend - package tools.refinery.interpreter.localsearch.operations.extend

tools.refinery.interpreter.localsearch.operations.generic - package tools.refinery.interpreter.localsearch.operations.generic

tools.refinery.interpreter.localsearch.operations.util - package tools.refinery.interpreter.localsearch.operations.util

tools.refinery.interpreter.localsearch.plan - package tools.refinery.interpreter.localsearch.plan

tools.refinery.interpreter.localsearch.planner - package tools.refinery.interpreter.localsearch.planner

tools.refinery.interpreter.localsearch.planner.compiler - package tools.refinery.interpreter.localsearch.planner.compiler

tools.refinery.interpreter.localsearch.planner.cost - package tools.refinery.interpreter.localsearch.planner.cost

tools.refinery.interpreter.localsearch.planner.cost.impl - package tools.refinery.interpreter.localsearch.planner.cost.impl

tools.refinery.interpreter.localsearch.planner.util - package tools.refinery.interpreter.localsearch.planner.util

tools.refinery.interpreter.localsearch.profiler - package tools.refinery.interpreter.localsearch.profiler

toString() - Method in class tools.refinery.interpreter.localsearch.matcher.MatcherReference

toString() - Method in class tools.refinery.interpreter.localsearch.MatchingFrame

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.AggregatorCheck

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.BinaryTransitiveClosureCheck

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckConstant

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckPositivePatternCall

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionCheck

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionEvalCheck

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.InequalityCheck

toString() - Method in class tools.refinery.interpreter.localsearch.operations.check.NACOperation

toString() - Method in class tools.refinery.interpreter.localsearch.operations.extend.AggregatorExtend

toString() - Method in class tools.refinery.interpreter.localsearch.operations.extend.CountOperation

toString() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExpressionEval

toString() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

toString() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendConstant

toString() - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendPositivePatternCall

toString() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeCheck

toString() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtend

toString() - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtendSingleValue

toString() - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

toString() - Method in class tools.refinery.interpreter.localsearch.plan.PlanDescriptor

toString() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlan

toString() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanExecutor

toString() - Method in class tools.refinery.interpreter.localsearch.plan.SearchPlanForBody

toString() - Method in class tools.refinery.interpreter.localsearch.planner.PConstraintInfo

toString() - Method in class tools.refinery.interpreter.localsearch.profiler.LocalSearchProfilerAdapter

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.AggregatorCheck

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.BinaryTransitiveClosureCheck

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckConstant

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.CheckPositivePatternCall

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.CountCheck

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionCheck

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.ExpressionEvalCheck

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.InequalityCheck

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.check.NACOperation

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.extend.AggregatorExtend

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.extend.CountOperation

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExpressionEval

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendBinaryTransitiveClosure

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendConstant

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.extend.ExtendPositivePatternCall

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeCheck

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtend

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.generic.GenericTypeExtendSingleValue

toString(Function<Integer, String>) - Method in interface tools.refinery.interpreter.localsearch.operations.ISearchOperation

Creates a string representation of the search operation by replacing the variable numbers according to the parameter function.

toString(Function<Integer, String>) - Method in class tools.refinery.interpreter.localsearch.operations.util.CallInformation

TYPE_ERROR - Static variable in exception class tools.refinery.interpreter.localsearch.exceptions.LocalSearchException

U

UNSUPPORTED_TYPE_MESSAGE - Static variable in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

updateExtends(Iterable<PConstraintInfo>) - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

Re-categorizes given extend operations into already applied or no longer applicable ones (discarded), immediately applicable ones (saved as presently viable extends), and not yet applicable ones (discarded).

updateExtendsBasedOnDelta(Iterable<PConstraintInfo>, Map<PVariable, ? extends Collection<PConstraintInfo>>) - Method in class tools.refinery.interpreter.localsearch.planner.PlanState

Re-categorizes given extend operations into already applied or no longer applicable ones (discarded), immediately applicable ones (saved as presently viable extends), and not yet applicable ones (discarded).

USE_BASE_INDEX - Static variable in class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchHintOptions

userHints - Variable in class tools.refinery.interpreter.localsearch.matcher.integration.AbstractLocalSearchResultProvider

V

valueOf(String) - Static method in enum class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactory

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class tools.refinery.interpreter.localsearch.planner.PConstraintCategory

Returns the enum constant of this class with the specified name.

values() - Static method in enum class tools.refinery.interpreter.localsearch.matcher.integration.LocalSearchGenericBackendFactory

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class tools.refinery.interpreter.localsearch.planner.PConstraintCategory

Returns an array containing the constants of this enum class, in the order they are declared.

VariableBindingBasedCostFunction - Class in tools.refinery.interpreter.localsearch.planner.cost.impl

This class can be used to calculate cost of application of a constraint with a given adornment.

VariableBindingBasedCostFunction() - Constructor for class tools.refinery.interpreter.localsearch.planner.cost.impl.VariableBindingBasedCostFunction

variableBindings - Variable in class tools.refinery.interpreter.localsearch.planner.compiler.AbstractOperationCompiler

_

_calculateCost(AggregatorConstraint, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(ExportedParameter, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(ExpressionEvaluation, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(Inequality, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(NegativePatternCall, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(PatternMatchCounter, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(TypeFilterConstraint, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(BinaryReflexiveTransitiveClosure, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(BinaryTransitiveClosure, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(ConstantValue, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(PositivePatternCall, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.HybridMatcherConstraintCostFunction

Deprecated.

_calculateCost(PositivePatternCall, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(TypeConstraint, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

_calculateCost(PConstraint, IConstraintEvaluationContext) - Method in class tools.refinery.interpreter.localsearch.planner.cost.impl.StatisticsBasedConstraintCostFunction

Default cost calculation strategy

A B C D E F G H I L M N O P Q R S T U V _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form