public override HashSet <string> CollectChoiceVariables(HashSet <string> currentVals) { currentVals.Add(constraintVariable); currentVals = condition.CollectChoiceVariables(currentVals); if (elseBody != null) { elseBody.CollectChoiceVariables(currentVals); } return(thenBody.CollectChoiceVariables(currentVals)); }
public override HashSet <string> CollectChoiceVariables(HashSet <string> currentVals) { currentVals.Add(constraintVariable); expr1.CollectChoiceVariables(currentVals); return(expr2.CollectChoiceVariables(currentVals)); }