C# (CSharp) AutomataPDL.WhileProgram CWExpr.CollectChoiceVariablesの例

コード例 #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));
 }

コード例 #2

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