Package org.eclipse.viatra.query.runtime.localsearch.operations.check
-
Class Summary Class Description AggregatorCheck Calculates the aggregated value of a column based on the givenAggregatorConstraint
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 aEStructuralFeature
connects two selected variables.CountCheck Calculates the count of matches for a called matcherExpressionCheck ExpressionEvalCheck InequalityCheck InstanceOfClassCheck InstanceOfDataTypeCheck InstanceOfJavaClassCheck NACOperation StructuralFeatureCheck A simple operation that checks whether aEStructuralFeature
connects two selected variables.