public override void MoveOneStep(Valuation GlobalEnv, List <Configuration> list) { System.Diagnostics.Debug.Assert(list.Count == 0); for (int i = 0; i < Processes.Count; i++) { List <Configuration> list1 = new List <Configuration>(); Processes[i].MoveOneStep(GlobalEnv, list1); foreach (Configuration configuration in list1) { if (configuration.Event == Constants.TAU) { List <Process> newProcess = new List <Process>(Processes); newProcess[i] = configuration.Process; IndexExternalChoice choice = new IndexExternalChoice(newProcess); configuration.Process = choice; } list.Add(configuration); } } }
public override void MoveOneStep(Valuation GlobalEnv, List<Configuration> list) { System.Diagnostics.Debug.Assert(list.Count == 0); for (int i = 0; i < Processes.Count; i++) { List<Configuration> list1 = new List<Configuration>(); Processes[i].MoveOneStep(GlobalEnv, list1); foreach (Configuration configuration in list1) { if (configuration.Event == Constants.TAU) { List<Process> newProcess = new List<Process>(Processes); newProcess[i] = configuration.Process; IndexExternalChoice choice = new IndexExternalChoice(newProcess); configuration.Process = choice; } list.Add(configuration); } } }