org.eclipse.incquery.runtime.localsearch.operations.check

Class CheckConstant

java.lang.Object

org.eclipse.incquery.runtime.localsearch.operations.check.CheckOperation

org.eclipse.incquery.runtime.localsearch.operations.check.CheckConstant

All Implemented Interfaces:

ISearchOperation

public class CheckConstant
extends CheckOperation

This operation handles constants in search plans by checking if a variable is bound to a certain constant value. Such operations should be executed as early as possible during plan execution.

Author:

Marton Bur

Constructor Summary

Constructors

Constructor and Description
CheckConstant(int position, java.lang.Object value)

Method Summary

Modifier and Type	Method and Description
java.util.List<java.lang.Integer>	getVariablePositions()

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

execute, onBacktrack, onInitialize

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CheckConstant

public CheckConstant(int position,
                     java.lang.Object value)

Method Detail

getVariablePositions

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

Returns:

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