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