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

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

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

    Subclasses of KeyedEnumerablePConstraint in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables
    Modifier and Type | Class and Description
    --- | ---
    `class` | `BinaryTransitiveClosure` For a binary base pattern, computes the irreflexive transitive closure (base)+
    `class` | `ConstantValue`
    `class` | `PositivePatternCall`
    `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`.