## 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)`