## Uses of Interface
org.eclipse.incquery.runtime.matchers.context.IQueryMetaContext

- Packages that use IQueryMetaContext
  Package | Description
  --- | ---
  org.eclipse.incquery.patternlanguage.typing |
  org.eclipse.incquery.runtime.emf |
  org.eclipse.incquery.runtime.localsearch.planner |
  org.eclipse.incquery.runtime.localsearch.planner.util |
  org.eclipse.incquery.runtime.matchers.context |
  org.eclipse.incquery.runtime.matchers.planning |
  org.eclipse.incquery.runtime.matchers.planning.helpers |
  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.basiclinear |
  org.eclipse.incquery.runtime.rete.construction.plancompiler |
  org.eclipse.incquery.runtime.rete.construction.quasitree |

- - ### Uses of IQueryMetaContext in org.eclipse.incquery.patternlanguage.typing

    Constructors in org.eclipse.incquery.patternlanguage.typing with parameters of type IQueryMetaContext
    Constructor and Description
    `AbstractTypeSystem(IQueryMetaContext context)`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.emf

    Classes in org.eclipse.incquery.runtime.emf that implement IQueryMetaContext
    Modifier and Type | Class and Description
    --- | ---
    `class` | `EMFQueryMetaContext` The singleton meta context information for EMF scopes.

    Methods in org.eclipse.incquery.runtime.emf that return IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `IQueryMetaContext` | EMFQueryRuntimeContext.`getMetaContext()`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.localsearch.planner

    Methods in org.eclipse.incquery.runtime.localsearch.planner with parameters of type IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `void` | LocalSearchPlanner.`initializePlanner(PQueryFlattener pQueryFlattener, org.apache.log4j.Logger logger, IQueryMetaContext metaContext, IQueryRuntimeContext runtimeContext, PBodyNormalizer pBodyNormalizer, LocalSearchRuntimeBasedStrategy localSearchPlannerStrategy, POperationCompiler pOperationCompiler, java.util.Map<java.lang.String,java.lang.Object> hints)`
    `SubPlan` | LocalSearchPlannerStrategy.`plan(PBody pBody, org.apache.log4j.Logger logger, IQueryMetaContext context)` Deprecated. The implementation of a local search-based algorithm to create a search plan for a flattened (and normalized) PBody
    `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

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.localsearch.planner.util

    Constructors in org.eclipse.incquery.runtime.localsearch.planner.util with parameters of type IQueryMetaContext
    Constructor and Description
    `OrderingHeuristics(SubPlan plan, IQueryMetaContext context)` Deprecated.

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.matchers.context

    Methods in org.eclipse.incquery.runtime.matchers.context that return IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `IQueryMetaContext` | IQueryRuntimeContext.`getMetaContext()` Provides metamodel-specific info independent of the runtime instance model.

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.matchers.planning

    Methods in org.eclipse.incquery.runtime.matchers.planning with parameters of type IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Set<TypeJudgement>` | SubPlan.`getAllImpliedTypeJudgements(IQueryMetaContext context)` The closure of all type judgments of enforced constraints at this point.
    `SubPlan` | IQueryPlannerStrategy.`plan(PBody pSystem, org.apache.log4j.Logger logger, IQueryMetaContext context)`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.matchers.planning.helpers

    Methods in org.eclipse.incquery.runtime.matchers.planning.helpers with parameters of type IQueryMetaContext
    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 void` | BuildHelper.`finalCheck(PBody pSystem, SubPlan plan, IQueryMetaContext context)` Verifies whether all constraints are enforced and exported parameters are present.
    `static java.util.Set<TypeJudgement>` | TypeHelper.`getDirectJudgements(java.util.Set<PConstraint> constraints, IQueryMetaContext context)` Gets direct judgements reported by constraints.
    `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.
    `static java.util.Set<TypeJudgement>` | TypeHelper.`subsumeTypes(java.util.Set<TypeJudgement> subsumableTypes, java.util.Set<TypeJudgement> subsumingTypes, IQueryMetaContext context)` Calculates a remainder set of types from a larger set, that are not subsumed by a given set of subsuming types.
    `static SubPlan` | BuildHelper.`trimUnneccessaryVariables(SubPlanFactory planFactory, SubPlan plan, boolean onlyIfNotDetermined, IQueryMetaContext context)` Reduces the number of tuples by trimming (existentially quantifying) the set of variables that are visible in the subplan, are not exported parameters, have all their constraints already enforced in the subplan, and thus will not be needed anymore.
    `static java.util.Set<TypeJudgement>` | TypeHelper.`typeClosure(java.util.Set<TypeJudgement> typesToClose, IQueryMetaContext context)` Calculates the closure of a set of type judgements, with respect to supertyping.

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.matchers.psystem

    Methods in org.eclipse.incquery.runtime.matchers.psystem with parameters of type IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `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<TypeJudgement>` | TypeJudgement.`getDirectlyImpliedJudgements(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.
    `static java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>` | ITypeConstraint.TypeConstraintUtil.`getFunctionalDependencies(IQueryMetaContext context, IInputKey inputKey, Tuple variablesTuple)`
    `java.util.Set<TypeJudgement>` | ITypeInfoProviderConstraint.`getImpliedJudgements(IQueryMetaContext context)` Returns type information implied by this constraint.
    `abstract boolean` | DeferredPConstraint.`isReadyAt(SubPlan plan, IQueryMetaContext context)`
    `boolean` | VariableDeferredPConstraint.`isReadyAt(SubPlan plan, IQueryMetaContext context)` Refine further if needed

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred

    Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred with parameters of type IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `PVariable` | BaseTypeSafeConstraint.`checkTypeSafety(SubPlan plan, IQueryMetaContext context)` Checks whether all type restrictions are already enforced on affected variables.
    `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>>` | ExpressionEvaluation.`getFunctionalDependencies(IQueryMetaContext context)`
    `java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>` | Equality.`getFunctionalDependencies(IQueryMetaContext context)`
    `java.util.Set<TypeJudgement>` | TypeFilterConstraint.`getImpliedJudgements(IQueryMetaContext context)`
    `boolean` | Equality.`isReadyAt(SubPlan plan, IQueryMetaContext context)`
    `boolean` | BaseTypeSafeConstraint.`isReadyAt(SubPlan plan, IQueryMetaContext context)`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

    Methods in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables with parameters of type IQueryMetaContext
    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>>` | PositivePatternCall.`getFunctionalDependencies(IQueryMetaContext context)`
    `java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>` | ConstantValue.`getFunctionalDependencies(IQueryMetaContext context)`
    `java.util.Set<TypeJudgement>` | TypeConstraint.`getImpliedJudgements(IQueryMetaContext context)`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.matchers.psystem.rewriters

    Methods in org.eclipse.incquery.runtime.matchers.psystem.rewriters with parameters of type IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `void` | PBodyNormalizer.`setContext(IQueryMetaContext context)`

    Constructors in org.eclipse.incquery.runtime.matchers.psystem.rewriters with parameters of type IQueryMetaContext
    Constructor and Description
    `PBodyNormalizer(IQueryMetaContext context)`
    `PBodyNormalizer(IQueryMetaContext context, boolean calculateImpliedTypes)`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.rete.construction.basiclinear

    Methods in org.eclipse.incquery.runtime.rete.construction.basiclinear with parameters of type IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `SubPlan` | BasicLinearLayout.`plan(PBody pSystem, org.apache.log4j.Logger logger, IQueryMetaContext context)`

    Constructors in org.eclipse.incquery.runtime.rete.construction.basiclinear with parameters of type IQueryMetaContext
    Constructor and Description
    `OrderingHeuristics(SubPlan plan, IQueryMetaContext context)`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.rete.construction.plancompiler

    Constructors in org.eclipse.incquery.runtime.rete.construction.plancompiler with parameters of type IQueryMetaContext
    Constructor and Description
    `ReteRecipeCompiler(IQueryPlannerStrategy plannerStrategy, org.apache.log4j.Logger logger, IQueryMetaContext metaContext, IQueryCacheContext queryCacheContext, IQueryBackendHintProvider hintProvider)`

  - ### Uses of IQueryMetaContext in org.eclipse.incquery.runtime.rete.construction.quasitree

    Methods in org.eclipse.incquery.runtime.rete.construction.quasitree with parameters of type IQueryMetaContext
    Modifier and Type | Method and Description
    --- | ---
    `SubPlan` | QuasiTreeLayout.`plan(PBody pSystem, org.apache.log4j.Logger logger, IQueryMetaContext context)`