Uses of Class
org.eclipse.incquery.runtime.matchers.psystem.PVariable

Packages that use PVariable

Package	Description
org.eclipse.incquery.runtime.localsearch.plan
org.eclipse.incquery.runtime.localsearch.planner
org.eclipse.incquery.runtime.localsearch.planner.util
org.eclipse.incquery.runtime.matchers.planning
org.eclipse.incquery.runtime.matchers.planning.helpers
org.eclipse.incquery.runtime.matchers.planning.operations
org.eclipse.incquery.runtime.matchers.psystem
org.eclipse.incquery.runtime.matchers.psystem.basicdeferred
org.eclipse.incquery.runtime.matchers.psystem.basicenumerables
org.eclipse.incquery.runtime.matchers.psystem.rewriters
org.eclipse.incquery.runtime.rete.construction.plancompiler
org.eclipse.incquery.runtime.rete.traceability

Uses of PVariable in org.eclipse.incquery.runtime.localsearch.plan

Methods in org.eclipse.incquery.runtime.localsearch.plan that return types with arguments of type PVariable

Modifier and Type	Method and Description
com.google.common.collect.BiMap<java.lang.Integer,PVariable>	SearchPlanExecutor.getVariableMapping()

Constructor parameters in org.eclipse.incquery.runtime.localsearch.plan with type arguments of type PVariable

Constructor and Description
SearchPlanExecutor(SearchPlan plan, ISearchContext context, java.util.Map<PVariable,java.lang.Integer> variableMapping)

Uses of PVariable in org.eclipse.incquery.runtime.localsearch.planner

Methods in org.eclipse.incquery.runtime.localsearch.planner that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Set<PVariable>	PlanState.getBoundVariables()
java.util.Set<PVariable>	PConstraintInfo.getBoundVariables()
java.util.Set<PVariable>	PConstraintInfo.getFreeVariables()
java.util.Map<PVariable,java.lang.Integer>	POperationCompiler.getVariableMappings()
java.util.Map<java.util.List<ISearchOperation>,java.util.Map<PVariable,java.lang.Integer>>	LocalSearchPlanner.plan(PQuery querySpec, java.util.Set<java.lang.Integer> boundVarIndices) Creates executable plans for the provided query.

Method parameters in org.eclipse.incquery.runtime.localsearch.planner with type arguments of type PVariable

Modifier and Type	Method and Description
PConstraintCategory	PConstraintInfo.getCategory(PBody pBody, java.util.Set<PVariable> boundVariables)
SubPlan	LocalSearchRuntimeBasedStrategy.plan(PBody pBody, org.apache.log4j.Logger logger, java.util.Set<PVariable> initialBoundVariables, IQueryMetaContext metaContext, IQueryRuntimeContext runtimeContext, java.util.Map<java.lang.String,java.lang.Object> hints) The implementation of a local search-based algorithm to create a search plan for a flattened (and normalized) PBody
void	LocalSearchPlannerStrategy.setBoundVariables(java.util.Set<PVariable> initialBoundVariables) Deprecated. Sets the initial adornment of the pattern.

Constructor parameters in org.eclipse.incquery.runtime.localsearch.planner with type arguments of type PVariable

Constructor and Description
PConstraintInfo(PConstraint constraint, java.util.Set<PVariable> boundMaskVariables, java.util.Set<PVariable> freeMaskVariables, java.util.Set<PConstraintInfo> sameWithDifferentBindings, IQueryRuntimeContext runtimeContext) Instantiates the wrapper
PConstraintInfo(PConstraint constraint, java.util.Set<PVariable> boundMaskVariables, java.util.Set<PVariable> freeMaskVariables, java.util.Set<PConstraintInfo> sameWithDifferentBindings, IQueryRuntimeContext runtimeContext) Instantiates the wrapper
PlanState(PBody pBody, java.util.List<PConstraintInfo> operationsList, java.util.Set<PVariable> boundVariables)

Uses of PVariable in org.eclipse.incquery.runtime.localsearch.planner.util

Methods in org.eclipse.incquery.runtime.localsearch.planner.util that return types with arguments of type PVariable

Modifier and Type	Method and Description
static java.util.Map<PVariable,java.lang.Integer>	CompilerHelper.createVariableMapping(SubPlan plan)

Method parameters in org.eclipse.incquery.runtime.localsearch.planner.util with type arguments of type PVariable

Modifier and Type	Method and Description
static java.util.Map<PConstraint,java.util.Set<java.lang.Integer>>	CompilerHelper.cacheVariableBindings(SubPlan plan, java.util.Map<PVariable,java.lang.Integer> variableMappings, java.util.Set<java.lang.Integer> adornment)

Uses of PVariable in org.eclipse.incquery.runtime.matchers.planning

Methods in org.eclipse.incquery.runtime.matchers.planning that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Set<PVariable>	SubPlan.getAllDeducedVariables() Variables which have been assigned a value; includes visible variables (see SubPlan.getVisibleVariables()) and additionally any variables hidden by a projection (see PProject).
java.util.Set<PVariable>	SubPlan.getIntroducedVariables() Delta compared to first parent: variables that are visible here but were not visible at the first parent.
java.util.Set<PVariable>	SubPlan.getVisibleVariables() Variables which are assigned a value at this point (results are also included in SubPlan.getAllDeducedVariables())

Uses of PVariable in org.eclipse.incquery.runtime.matchers.planning.helpers

Methods in org.eclipse.incquery.runtime.matchers.planning.helpers that return types with arguments of type PVariable

Modifier and Type	Method and Description
static java.util.Map<PVariable,java.util.Set<TypeJudgement>>	TypeHelper.inferUnaryTypes(java.util.Set<PConstraint> constraints, IQueryMetaContext context) Infers unary type information for variables, based on the given constraints.

Method parameters in org.eclipse.incquery.runtime.matchers.planning.helpers with type arguments of type PVariable

Modifier and Type	Method and Description
static boolean	BuildHelper.areAllVariablesDetermined(SubPlan plan, java.util.Collection<PVariable> determining, IQueryMetaContext context)
static boolean	BuildHelper.areVariablesDetermined(SubPlan plan, java.util.Collection<PVariable> determining, java.util.Collection<PVariable> determined, IQueryMetaContext context)
static boolean	BuildHelper.areVariablesDetermined(SubPlan plan, java.util.Collection<PVariable> determining, java.util.Collection<PVariable> determined, IQueryMetaContext context)

Uses of PVariable in org.eclipse.incquery.runtime.matchers.planning.operations

Methods in org.eclipse.incquery.runtime.matchers.planning.operations that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Set<PVariable>	PStart.getAPrioriVariables()
java.util.Collection<PVariable>	PProject.getToVariables()

Constructors in org.eclipse.incquery.runtime.matchers.planning.operations with parameters of type PVariable

Constructor and Description
PStart(PVariable... aPrioriVariables)

Constructor parameters in org.eclipse.incquery.runtime.matchers.planning.operations with type arguments of type PVariable

Constructor and Description
PProject(java.util.List<PVariable> toVariables)
PProject(java.util.Set<PVariable> toVariables)
PStart(java.util.Set<PVariable> aPrioriVariables)

Uses of PVariable in org.eclipse.incquery.runtime.matchers.psystem

Methods in org.eclipse.incquery.runtime.matchers.psystem that return PVariable

Modifier and Type	Method and Description
PVariable	PVariable.getDirectUnifiedInto()
PVariable	PBody.getOrCreateVariableByName(java.lang.String name) Finds and returns a PVariable by name.
PVariable	PVariable.getUnifiedIntoRoot()
PVariable	PBody.getVariableByNameChecked(java.lang.Object name) Find a PVariable by name
PVariable	EnumerablePConstraint.getVariableInTuple(int index)
PVariable	PBody.newConstantVariable(java.lang.Object value)
PVariable	PBody.newVirtualVariable()
PVariable	PBody.newVirtualVariable(java.lang.String name)

Methods in org.eclipse.incquery.runtime.matchers.psystem that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Set<PVariable>	BasePConstraint.getAffectedVariables()
java.util.Set<PVariable>	PConstraint.getAffectedVariables() All variables affected by this constraint.
java.util.Map<PVariable,java.util.Set<TypeJudgement>>	PBody.getAllUnaryTypeRestrictions(IQueryMetaContext context) All unary input keys directly prescribed by constraints, grouped by variable.
java.util.Set<PVariable>	PBody.getAllVariables()
java.util.Set<PVariable>	PConstraint.getDeducedVariables() The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
java.util.Set<PVariable>	EnumerablePConstraint.getDeducedVariables()
abstract java.util.Set<PVariable>	VariableDeferredPConstraint.getDeferringVariables()
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	BasePConstraint.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	BasePConstraint.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	PConstraint.getFunctionalDependencies(IQueryMetaContext context) A (preferably minimal) cover of known functional dependencies between variables.
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	PConstraint.getFunctionalDependencies(IQueryMetaContext context) A (preferably minimal) cover of known functional dependencies between variables.
static java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	ITypeConstraint.TypeConstraintUtil.getFunctionalDependencies(IQueryMetaContext context, IInputKey inputKey, Tuple variablesTuple)
static java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	ITypeConstraint.TypeConstraintUtil.getFunctionalDependencies(IQueryMetaContext context, IInputKey inputKey, Tuple variablesTuple)
java.util.List<PVariable>	PBody.getSymbolicParameterVariables() Returns the symbolic parameters of the body.
java.util.Set<PVariable>	PBody.getUniqueVariables()

Methods in org.eclipse.incquery.runtime.matchers.psystem with parameters of type PVariable

Modifier and Type	Method and Description
void	EnumerablePConstraint.doReplaceVariable(PVariable obsolete, PVariable replacement)
void	BasePConstraint.replaceVariable(PVariable obsolete, PVariable replacement)
void	PConstraint.replaceVariable(PVariable obsolete, PVariable replacement)
void	PVariable.unifyInto(PVariable replacement) Replaces this variable with a given other, resulting in their unification.

Constructor parameters in org.eclipse.incquery.runtime.matchers.psystem with type arguments of type PVariable

Constructor and Description
BasePConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)
DeferredPConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)
VariableDeferredPConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)

Uses of PVariable in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred that return PVariable

Modifier and Type	Method and Description
PVariable	BaseTypeSafeConstraint.checkTypeSafety(SubPlan plan, IQueryMetaContext context) Checks whether all type restrictions are already enforced on affected variables.
PVariable	BaseTypeSafeConstraint.getOutputVariable()
PVariable	ExportedParameter.getParameterVariable()
PVariable	PatternMatchCounter.getResultVariable()
PVariable	Inequality.getWho()
PVariable	Equality.getWho()
PVariable	Inequality.getWithWhom()
PVariable	Equality.getWithWhom()

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Set<PVariable>	TypeFilterConstraint.getDeducedVariables()
java.util.Set<PVariable>	PatternMatchCounter.getDeducedVariables()
java.util.Set<PVariable>	NegativePatternCall.getDeducedVariables()
java.util.Set<PVariable>	Inequality.getDeducedVariables()
java.util.Set<PVariable>	ExportedParameter.getDeducedVariables()
java.util.Set<PVariable>	Equality.getDeducedVariables()
java.util.Set<PVariable>	BaseTypeSafeConstraint.getDeducedVariables()
java.util.Set<PVariable>	TypeFilterConstraint.getDeferringVariables()
java.util.Set<PVariable>	PatternCallBasedDeferred.getDeferringVariables()
java.util.Set<PVariable>	Inequality.getDeferringVariables()
java.util.Set<PVariable>	ExportedParameter.getDeferringVariables()
java.util.Set<PVariable>	BaseTypeSafeConstraint.getDeferringVariables()
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	TypeFilterConstraint.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	TypeFilterConstraint.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	PatternMatchCounter.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	PatternMatchCounter.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	ExpressionEvaluation.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	ExpressionEvaluation.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	Equality.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	Equality.getFunctionalDependencies(IQueryMetaContext context)

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred with parameters of type PVariable

Modifier and Type	Method and Description
void	Inequality.doReplaceVariable(PVariable obsolete, PVariable replacement)
void	ExportedParameter.doReplaceVariable(PVariable obsolete, PVariable replacement)
void	Equality.doReplaceVariable(PVariable obsolete, PVariable replacement)

Constructors in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred with parameters of type PVariable

Constructor and Description
BaseTypeSafeConstraint(PBody pBody, java.util.Set<PVariable> inputVariables, PVariable outputVariable)
Equality(PBody pBody, PVariable who, PVariable withWhom)
ExportedParameter(PBody pBody, PVariable parameterVariable, java.lang.String parameterName)
ExpressionEvaluation(PBody pBody, IExpressionEvaluator evaluator, PVariable outputVariable)
Inequality(PBody pBody, PVariable who, PVariable withWhom)
Inequality(PBody pBody, PVariable who, PVariable withWhom, boolean weak)
PatternMatchCounter(PBody pBody, Tuple actualParametersTuple, PQuery query, PVariable resultVariable)

Constructor parameters in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred with type arguments of type PVariable

Constructor and Description
BaseTypeSafeConstraint(PBody pBody, java.util.Set<PVariable> inputVariables, PVariable outputVariable)
PatternCallBasedDeferred(PBody pBody, Tuple actualParametersTuple, PQuery pattern, java.util.Set<PVariable> additionalAffectedVariables)

Uses of PVariable in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

Methods in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	TypeConstraint.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	TypeConstraint.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	PositivePatternCall.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	PositivePatternCall.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	ConstantValue.getFunctionalDependencies(IQueryMetaContext context)
java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>	ConstantValue.getFunctionalDependencies(IQueryMetaContext context)

Constructors in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables with parameters of type PVariable

Constructor and Description
ConstantValue(PBody pBody, PVariable variable, java.lang.Object value)
TypeBinary(PBody body, java.lang.Object ignored1, PVariable varSource, PVariable varTarget, org.eclipse.emf.ecore.EStructuralFeature feature, java.lang.String ignored2) Deprecated.
TypeUnary(PBody body, PVariable var, org.eclipse.emf.ecore.EClassifier classifier, java.lang.String ignored) Deprecated.

Uses of PVariable in org.eclipse.incquery.runtime.matchers.psystem.rewriters

Methods in org.eclipse.incquery.runtime.matchers.psystem.rewriters that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Map<PVariable,PVariable>	PBodyCopier.getVariableMapping()
java.util.Map<PVariable,PVariable>	PBodyCopier.getVariableMapping()

Methods in org.eclipse.incquery.runtime.matchers.psystem.rewriters with parameters of type PVariable

Modifier and Type	Method and Description
java.lang.String	IVariableRenamer.createVariableName(PVariable pVariable, PQuery query) Creates a variable name based on a given variable and a given query.
java.lang.String	IVariableRenamer.SameName.createVariableName(PVariable pVariable, PQuery query)
java.lang.String	IVariableRenamer.HierarchicalName.createVariableName(PVariable pVariable, PQuery query)

Uses of PVariable in org.eclipse.incquery.runtime.rete.construction.plancompiler

Methods in org.eclipse.incquery.runtime.rete.construction.plancompiler that return types with arguments of type PVariable

Modifier and Type	Method and Description
static java.util.List<PVariable>	CompilerHelper.convertVariablesTuple(EnumerablePConstraint constraint) Extracts the variable list representation of the variables tuple.
static java.util.List<PVariable>	CompilerHelper.convertVariablesTuple(Tuple variablesTuple) Extracts the variable list representation of the variables tuple.
java.util.List<PVariable>	CompilerHelper.JoinHelper.getNaturalJoinVariablesTuple()

Method parameters in org.eclipse.incquery.runtime.rete.construction.plancompiler with type arguments of type PVariable

Modifier and Type	Method and Description
static Mask	CompilerHelper.makeProjectionMask(PlanningTrace compiledParent, java.lang.Iterable<PVariable> projectedVariables)

Uses of PVariable in org.eclipse.incquery.runtime.rete.traceability

Methods in org.eclipse.incquery.runtime.rete.traceability that return types with arguments of type PVariable

Modifier and Type	Method and Description
java.util.Map<PVariable,java.lang.Integer>	PlanningTrace.getPosMapping()
java.util.List<PVariable>	PlanningTrace.getVariablesTuple()

Constructor parameters in org.eclipse.incquery.runtime.rete.traceability with type arguments of type PVariable

Constructor and Description
CompiledSubPlan(SubPlan subPlan, java.util.List<PVariable> variablesTuple, ReteNodeRecipe recipe, java.util.Collection<? extends RecipeTraceInfo> parentRecipeTraces)
CompiledSubPlan(SubPlan subPlan, java.util.List<PVariable> variablesTuple, ReteNodeRecipe recipe, RecipeTraceInfo... parentRecipeTraces)
PlanningTrace(SubPlan subPlan, java.util.List<PVariable> variablesTuple, ReteNodeRecipe recipe, java.util.Collection<? extends RecipeTraceInfo> parentRecipeTraces)
PlanningTrace(SubPlan subPlan, java.util.List<PVariable> variablesTuple, ReteNodeRecipe recipe, RecipeTraceInfo... parentRecipeTraces)