void NonDeterministicChoice(out Process proc) { Process pc; NonDeterministicChoice ndc = new NonDeterministicChoice(); ParallelComposition(out pc); ndc.Add(pc); while (la.kind == 14) { Get(); ParallelComposition(out pc); ndc.Add(pc); } if (ndc.Processes.Count == 1) { proc = ndc.Processes[0]; } else { proc = ndc; CopyPos(proc, ndc.Processes[0], t); } }
void NonDeterministicChoice(out Process proc, string locality) { NonDeterministicChoice ndc = new NonDeterministicChoice(); Process pc = null; ParallelComposition(out pc, locality); ndc.Add(pc); while (la.kind == 11) { Get(); ParallelComposition(out pc, locality); ndc.Add(pc); } if (ndc.Processes.Count == 1) { proc = ndc.Processes[0]; } else { proc = ndc; CopyPos(proc, ndc.Processes[0], t); } }