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