C# (CSharp) AutomataPDL.WhileProgram CWEVar.CollectChoiceVariables примеры использования

Пример #1

 public override HashSet <string> CollectChoiceVariables(HashSet <string> currentVals)
 {
     currentVals.Add(this.constraintVariable);
     lhs.CollectChoiceVariables(currentVals);
     arg1.CollectChoiceVariables(currentVals);
     return(arg2.CollectChoiceVariables(currentVals));
 }

Пример #2

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