# Package org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

- Class Summary
  Class | Description
  --- | ---
  BinaryTransitiveClosure | For a binary base pattern, computes the irreflexive transitive closure (base)+
  ConstantValue |
  PositivePatternCall |
  TypeBinary | Deprecated use `TypeConstraint`
  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`.
  TypeUnary | Deprecated use `TypeConstraint`