org.eclipse.incquery.runtime.matchers.psystem

## Interface ITypeInfoProviderConstraint

- All Superinterfaces:
    PConstraint
  All Known Subinterfaces:
    ITypeConstraint
  All Known Implementing Classes:
    TypeConstraint, TypeFilterConstraint

      public interface ITypeInfoProviderConstraint
      extends PConstraint

  Author:
    Gabor Bergmann

- - ### Nested Class Summary

    - ### Nested classes/interfaces inherited from interface org.eclipse.incquery.runtime.matchers.psystem.PConstraint

      `PConstraint.CompareByMonotonousID`

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Set<TypeJudgement>` | `getImpliedJudgements(IQueryMetaContext context)` Returns type information implied by this constraint.

    - ### Methods inherited from interface org.eclipse.incquery.runtime.matchers.psystem.PConstraint

      `checkSanity, delete, getAffectedVariables, getDeducedVariables, getFunctionalDependencies, getMonotonousID, replaceVariable`

- - ### Method Detail

    - #### getImpliedJudgements

          java.util.Set<TypeJudgement> getImpliedJudgements(IQueryMetaContext context)

      Returns type information implied by this constraint.