## Uses of Interface
org.eclipse.incquery.runtime.matchers.psystem.ITypeInfoProviderConstraint

- Packages that use ITypeInfoProviderConstraint
  Package | Description
  --- | ---
  org.eclipse.incquery.runtime.matchers.psystem |
  org.eclipse.incquery.runtime.matchers.psystem.basicdeferred |
  org.eclipse.incquery.runtime.matchers.psystem.basicenumerables |

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

    Subinterfaces of ITypeInfoProviderConstraint in org.eclipse.incquery.runtime.matchers.psystem
    Modifier and Type | Interface and Description
    --- | ---
    `interface` | `ITypeConstraint` Common superinterface of enumerable and deferred type constraints.

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

    Classes in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred that implement ITypeInfoProviderConstraint
    Modifier and Type | Class and Description
    --- | ---
    `class` | `TypeFilterConstraint` Represents an enumerable type constraint that asserts that values substituted for the given tuple of variables form a tuple that belongs to a (typically non-enumerable) extensional relation identified by an `IInputKey`.

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

    Classes in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables that implement ITypeInfoProviderConstraint
    Modifier and Type | Class and Description
    --- | ---
    `class` | `TypeConstraint` Represents an enumerable type constraint that asserts that values substituted for the given tuple of variables form a tuple that belongs to an enumerable extensional relation identified by an `IInputKey`.