Ejemplos de AutomataPDL.WhileProgram CWExpr.CollectChoiceVariables en C# (CSharp)

Ejemplo n.º 1

 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));
 }

Ejemplo n.º 2

 public override HashSet <string> CollectChoiceVariables(HashSet <string> currentVals)
 {
     currentVals.Add(constraintVariable);
     expr1.CollectChoiceVariables(currentVals);
     return(expr2.CollectChoiceVariables(currentVals));
 }