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

Class ExpressionCheck

java.lang.Object

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

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

All Implemented Interfaces:

ISearchOperation

public class ExpressionCheck
extends CheckOperation

Constructor Summary

Constructors

Constructor and Description
ExpressionCheck(IExpressionEvaluator evaluator, java.util.Map<java.lang.String,java.lang.Integer> nameMap)

Method Summary

Modifier and Type	Method and Description
protected boolean	check(MatchingFrame frame) Executes the checking operation
java.util.List<java.lang.Integer>	getVariablePositions()
java.lang.String	toString()

Methods inherited from class org.eclipse.viatra.query.runtime.localsearch.operations.check.CheckOperation

execute, onBacktrack, onInitialize

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExpressionCheck

public ExpressionCheck(IExpressionEvaluator evaluator,
                       java.util.Map<java.lang.String,java.lang.Integer> nameMap)

Method Detail

check

protected boolean check(MatchingFrame frame)
                 throws LocalSearchException

Description copied from class: CheckOperation

Executes the checking operation

Specified by:

check in class CheckOperation

Returns:

Throws:

LocalSearchException

getVariablePositions

public java.util.List<java.lang.Integer> getVariablePositions()

Returns:

the ordered list of the variable numbers that are affected by the search operation

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object