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