Package org.eclipse.viatra.query.runtime.matchers.psystem

## Interface ITypeInfoProviderConstraint

- All Superinterfaces:
    `PConstraint`, `PTraceable`
  All Known Subinterfaces:
    `ITypeConstraint`
  All Known Implementing Classes:
    `AbstractTransitiveClosure`, `AggregatorConstraint`, `BinaryReflexiveTransitiveClosure`, `BinaryTransitiveClosure`, `PositivePatternCall`, `TypeConstraint`, `TypeFilterConstraint`

      public interface ITypeInfoProviderConstraint
      extends PConstraint

- - ### Field Summary

    - ### Fields inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint

      `COMPARE_BY_MONOTONOUS_ID`

  - ### Method Summary

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

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

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

- - ### Method Detail

    - #### getImpliedJudgements

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

      Returns type information implied by this constraint.