public PrimitiveConstraint getChoiceConstraint(int index) {
PrimitiveConstraint c = select.getChoiceConstraint(index);
if (c == null) {
generateSuccessNode(currentSearchNode.id);
generateVisualizationNode(currentSearchNode.id, true);
} else {
currentSearchNode = new SearchNode();
currentSearchNode.c = c;
currentSearchNode.id = searchNodeId++;
currentSearchNode.previous = searchStack.peek().id;
searchStack.push(currentSearchNode);
}
return c;
}
