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

- Class Summary
  Class | Description
  --- | ---
  AggregatorConstraint | The PSystem representation of an aggregation.
  BaseTypeSafeConstraint |
  Equality |
  ExportedParameter |
  ExpressionEvaluation |
  Inequality |
  NegativePatternCall |
  PatternCallBasedDeferred |
  PatternMatchCounter |
  TypeFilterConstraint | Represents a non-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`.