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

## Interface ITypeConstraint

- All Superinterfaces:
    `ITypeInfoProviderConstraint`, `PConstraint`, `PTraceable`
  All Known Implementing Classes:
    `TypeConstraint`, `TypeFilterConstraint`

      public interface ITypeConstraint
      extends ITypeInfoProviderConstraint

  Common superinterface of enumerable and deferred type constraints.

- - ### Nested Class Summary

    Nested Classes
    Modifier and Type | Interface | Description
    --- | --- | ---
    `static class` | `ITypeConstraint.TypeConstraintUtil` | Static internal utility class for implementations of `ITypeConstraint`s.

  - ### 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
    --- | --- | ---
    `TypeJudgement` | `getEquivalentJudgement()` |

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

      `getImpliedJudgements`

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

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

- - ### Method Detail

    - #### getEquivalentJudgement

          TypeJudgement getEquivalentJudgement()