public class ContainmentCheck extends CheckOperation
EStructuralFeature
connects two selected variables.Constructor and Description |
---|
ContainmentCheck(int childPosition,
int containerPosition,
boolean transitive) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
check(MatchingFrame frame,
ISearchContext context)
Executes the checking operation
|
java.util.List<java.lang.Integer> |
getVariablePositions() |
java.lang.String |
toString() |
execute, onBacktrack, onInitialize
public ContainmentCheck(int childPosition, int containerPosition, boolean transitive)
protected boolean check(MatchingFrame frame, ISearchContext context) throws LocalSearchException
CheckOperation
check
in class CheckOperation
LocalSearchException
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<java.lang.Integer> getVariablePositions()