# Package org.eclipse.viatra.query.runtime.localsearch.operations.check

- Class Summary
  Class | Description
  --- | ---
  AggregatorCheck | Calculates the aggregated value of a column based on the given `AggregatorConstraint`
  BinaryTransitiveClosureCheck | Checking for a transitive closure expressed as a local search pattern matcher.
  CheckConstant | This operation handles constants in search plans by checking if a variable is bound to a certain constant value.
  CheckPositivePatternCall |
  ContainmentCheck | A simple operation that checks whether a `EStructuralFeature` connects two selected variables.
  CountCheck | Calculates the count of matches for a called matcher
  ExpressionCheck |
  ExpressionEvalCheck |
  InequalityCheck |
  InstanceOfClassCheck |
  InstanceOfDataTypeCheck |
  InstanceOfJavaClassCheck |
  NACOperation |
  StructuralFeatureCheck | A simple operation that checks whether a `EStructuralFeature` connects two selected variables.