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

- Packages that use TypeJudgement
  Package | Description
  --- | ---
  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 |

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

    Methods in org.eclipse.incquery.runtime.matchers.planning that return types with arguments of type TypeJudgement
    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.

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

    Methods in org.eclipse.incquery.runtime.matchers.planning.helpers that return types with arguments of type TypeJudgement
    Modifier and Type | Method and Description
    --- | ---
    `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 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.

    Method parameters in org.eclipse.incquery.runtime.matchers.planning.helpers with type arguments of type TypeJudgement
    Modifier and Type | Method and Description
    --- | ---
    `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 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 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 TypeJudgement in org.eclipse.incquery.runtime.matchers.psystem

    Methods in org.eclipse.incquery.runtime.matchers.psystem that return TypeJudgement
    Modifier and Type | Method and Description
    --- | ---
    `TypeJudgement` | ITypeConstraint.`getEquivalentJudgement()`

    Methods in org.eclipse.incquery.runtime.matchers.psystem that return types with arguments of type TypeJudgement
    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.Set<TypeJudgement>` | ITypeInfoProviderConstraint.`getImpliedJudgements(IQueryMetaContext context)` Returns type information implied by this constraint.

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

    Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred that return TypeJudgement
    Modifier and Type | Method and Description
    --- | ---
    `TypeJudgement` | TypeFilterConstraint.`getEquivalentJudgement()`

    Methods in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred that return types with arguments of type TypeJudgement
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Set<TypeJudgement>` | TypeFilterConstraint.`getImpliedJudgements(IQueryMetaContext context)`

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

    Methods in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables that return TypeJudgement
    Modifier and Type | Method and Description
    --- | ---
    `TypeJudgement` | TypeConstraint.`getEquivalentJudgement()`

    Methods in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables that return types with arguments of type TypeJudgement
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Set<TypeJudgement>` | TypeConstraint.`getImpliedJudgements(IQueryMetaContext context)`