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

## Classes

- AggregatorCheck
- BinaryTransitiveClosureCheck
- CheckConstant
- CheckOperation
- CheckPositivePatternCall
- ContainmentCheck
- CountCheck
- ExpressionCheck
- ExpressionEvalCheck
- FrameInitializationCheck
- InequalityCheck
- InstanceOfClassCheck
- InstanceOfDataTypeCheck
- InstanceOfJavaClassCheck
- NACOperation
- StructuralFeatureCheck