## Uses of Class
org.eclipse.incquery.runtime.matchers.psystem.PBody

- Packages that use PBody
  Package | Description
  --- | ---
  org.eclipse.incquery.patternlanguage.emf.specification |
  org.eclipse.incquery.patternlanguage.emf.specification.builder |
  org.eclipse.incquery.runtime.localsearch.planner |
  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.queries |
  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 |
  org.eclipse.incquery.runtime.rete.traceability |

- - ### Uses of PBody in org.eclipse.incquery.patternlanguage.emf.specification

    Methods in org.eclipse.incquery.patternlanguage.emf.specification that return types with arguments of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Set<PBody>` | SpecificationBuilder.`buildBodies(Pattern pattern, InitializablePQuery query)`
    `java.util.Set<PBody>` | SpecificationBuilder.`getBodies(Pattern pattern, PQuery query)`

    Method parameters in org.eclipse.incquery.patternlanguage.emf.specification with type arguments of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `void` | GenericEMFPatternPQuery.`initializeBodies(java.util.Set<PBody> bodies)` Sets up the bodies stored inside this query specification.

  - ### Uses of PBody in org.eclipse.incquery.patternlanguage.emf.specification.builder

    Methods in org.eclipse.incquery.patternlanguage.emf.specification.builder that return PBody
    Modifier and Type | Method and Description
    --- | ---
    `PBody` | EPMToPBody.`getResult()`

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

    Methods in org.eclipse.incquery.runtime.localsearch.planner that return PBody
    Modifier and Type | Method and Description
    --- | ---
    `PBody` | PlanState.`getAssociatedPBody()`

    Methods in org.eclipse.incquery.runtime.localsearch.planner with parameters of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `PConstraintCategory` | PConstraintInfo.`getCategory(PBody pBody, java.util.Set<PVariable> boundVariables)`
    `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

    Constructors in org.eclipse.incquery.runtime.localsearch.planner with parameters of type PBody
    Constructor and Description
    `PlanState(PBody pBody, java.util.List<PConstraintInfo> operationsList, java.util.Set<PVariable> boundVariables)`

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

    Methods in org.eclipse.incquery.runtime.matchers.planning that return PBody
    Modifier and Type | Method and Description
    --- | ---
    `PBody` | SubPlan.`getBody()`

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

    Constructors in org.eclipse.incquery.runtime.matchers.planning with parameters of type PBody
    Constructor and Description
    `SubPlan(PBody body, POperation operation, java.util.List<? extends SubPlan> parentPlans)` A SubPlan is constructed by applying a `POperation` on zero or more parent SubPlans.
    `SubPlan(PBody body, POperation operation, SubPlan... parentPlans)` A SubPlan is constructed by applying a `POperation` on zero or more parent SubPlans.
    `SubPlanFactory(PBody body)`

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

    Methods in org.eclipse.incquery.runtime.matchers.planning.helpers with parameters of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `static void` | BuildHelper.`finalCheck(PBody pSystem, SubPlan plan, IQueryMetaContext context)` Verifies whether all constraints are enforced and exported parameters are present.
    `static PConstraint` | BuildHelper.`getAnyUnenforcedConstraint(PBody pSystem, SubPlan plan)` Finds an arbitrary constraint that is not enforced at the given plan.

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

    Methods in org.eclipse.incquery.runtime.matchers.psystem that return PBody
    Modifier and Type | Method and Description
    --- | ---
    `PBody` | BasePConstraint.`getPSystem()`

    Method parameters in org.eclipse.incquery.runtime.matchers.psystem with type arguments of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `void` | InitializablePQuery.`initializeBodies(java.util.Set<PBody> bodies)` Sets up the bodies of the pattern.

    Constructors in org.eclipse.incquery.runtime.matchers.psystem with parameters of type PBody
    Constructor and Description
    `BasePConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)`
    `DeferredPConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)`
    `KeyedEnumerablePConstraint(PBody pBody, Tuple variablesTuple, KeyType supplierKey)`
    `VariableDeferredPConstraint(PBody pBody, java.util.Set<PVariable> affectedVariables)`

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

    Constructors in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred with parameters of type PBody
    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)`
    `NegativePatternCall(PBody pBody, Tuple actualParametersTuple, PQuery query)`
    `PatternCallBasedDeferred(PBody pBody, Tuple actualParametersTuple, PQuery pattern)`
    `PatternCallBasedDeferred(PBody pBody, Tuple actualParametersTuple, PQuery pattern, java.util.Set<PVariable> additionalAffectedVariables)`
    `PatternMatchCounter(PBody pBody, Tuple actualParametersTuple, PQuery query, PVariable resultVariable)`
    `TypeFilterConstraint(PBody pBody, Tuple variablesTuple, IInputKey inputKey)`

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

    Constructors in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables with parameters of type PBody
    Constructor and Description
    `BinaryTransitiveClosure(PBody pBody, Tuple variablesTuple, PQuery pattern)`
    `ConstantValue(PBody pBody, PVariable variable, java.lang.Object value)`
    `PositivePatternCall(PBody pBody, Tuple variablesTuple, PQuery pattern)`
    `TypeBinary(PBody body, java.lang.Object ignored1, PVariable varSource, PVariable varTarget, org.eclipse.emf.ecore.EStructuralFeature feature, java.lang.String ignored2)` Deprecated.
    `TypeConstraint(PBody pBody, Tuple variablesTuple, IInputKey inputKey)`
    `TypeUnary(PBody body, PVariable var, org.eclipse.emf.ecore.EClassifier classifier, java.lang.String ignored)` Deprecated.

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

    Methods in org.eclipse.incquery.runtime.matchers.psystem.queries that return types with arguments of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `static com.google.common.base.Function<PBody,java.lang.Iterable<PQuery>>` | PQueries.`directlyReferencedQueriesFunction()`
    `java.util.Set<PBody>` | PDisjunction.`getBodies()` Returns an immutable set of bodies that consists of this disjunction

    Constructor parameters in org.eclipse.incquery.runtime.matchers.psystem.queries with type arguments of type PBody
    Constructor and Description
    `PDisjunction(PQuery query, java.util.Set<PBody> bodies)`
    `PDisjunction(java.util.Set<PBody> bodies)`

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

    Methods in org.eclipse.incquery.runtime.matchers.psystem.rewriters that return PBody
    Modifier and Type | Method and Description
    --- | ---
    `PBody` | PBodyCopier.`getCopiedBody()` Returns the body with the copied variables and constraints.
    `PBody` | PBodyNormalizer.`normalizeBody(PBody body)` Provides a normalized version of the pattern body.

    Methods in org.eclipse.incquery.runtime.matchers.psystem.rewriters with parameters of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `void` | PBodyCopier.`mergeBody(PBody sourceBody)`
    `void` | PBodyCopier.`mergeBody(PBody sourceBody, IVariableRenamer namingTool, IConstraintFilter filter)` Merge all variables and constraints from a source body to a target body.
    `PBody` | PBodyNormalizer.`normalizeBody(PBody body)` Provides a normalized version of the pattern body.

    Constructors in org.eclipse.incquery.runtime.matchers.psystem.rewriters with parameters of type PBody
    Constructor and Description
    `PBodyCopier(PBody body)`

    Constructor parameters in org.eclipse.incquery.runtime.matchers.psystem.rewriters with type arguments of type PBody
    Constructor and Description
    `FlattenerCopier(PQuery query, java.util.List<PositivePatternCall> callsToFlatten, java.util.List<PBody> calledBodies)`

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

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

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

    Methods in org.eclipse.incquery.runtime.rete.construction.plancompiler that return types with arguments of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Map<PBody,SubPlan>` | ReteRecipeCompiler.`getCachedQueryPlans()` Returns an unmodifiable view of currently cached query plans.

    Methods in org.eclipse.incquery.runtime.rete.construction.plancompiler with parameters of type PBody
    Modifier and Type | Method and Description
    --- | ---
    `SubPlan` | ReteRecipeCompiler.`getPlan(PBody pBody)`

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

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

  - ### Uses of PBody in org.eclipse.incquery.runtime.rete.traceability

    Constructors in org.eclipse.incquery.runtime.rete.traceability with parameters of type PBody
    Constructor and Description
    `ParameterProjectionTrace(PBody body, ReteNodeRecipe recipe, java.util.Collection<? extends RecipeTraceInfo> parentRecipeTraces)`
    `ParameterProjectionTrace(PBody body, ReteNodeRecipe recipe, RecipeTraceInfo... parentRecipeTraces)`