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

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

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

    Subclasses of BasePConstraint in org.eclipse.incquery.runtime.matchers.psystem
    Modifier and Type | Class and Description
    --- | ---
    `class` | `DeferredPConstraint` Any constraint that can only be checked on certain SubPlans (e.g.
    `class` | `EnumerablePConstraint` A constraint for which all satisfying tuples of variable values can be enumerated at any point during run-time.
    `class` | `KeyedEnumerablePConstraint<KeyType>`
    `class` | `VariableDeferredPConstraint` A kind of deferred constraint that can only be checked when a set of deferring variables are all present in a plan.

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

    Subclasses of BasePConstraint in org.eclipse.incquery.runtime.matchers.psystem.basicdeferred
    Modifier and Type | Class and Description
    --- | ---
    `class` | `BaseTypeSafeConstraint`
    `class` | `Equality`
    `class` | `ExportedParameter`
    `class` | `ExpressionEvaluation`
    `class` | `Inequality`
    `class` | `NegativePatternCall`
    `class` | `PatternCallBasedDeferred`
    `class` | `PatternMatchCounter`
    `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 BasePConstraint in org.eclipse.incquery.runtime.matchers.psystem.basicenumerables

    Subclasses of BasePConstraint 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`.