public override void MoveOneStep(Valuation GlobalEnv, List <Configuration> list)
{
System.Diagnostics.Debug.Assert(list.Count == 0);
Process.MoveOneStep(GlobalEnv, list); //List<Configuration> returnlist =
for (int i = 0; i < list.Count; i++)
{
Configuration step = list[i];
if (HidingAlphabets.ContainEventName(step.Event))
{
step.DisplayName = "[" + step.Event + "]";
step.Event = Constants.TAU;
}
Hiding newHide = new Hiding(step.Process, HidingAlphabets);
step.Process = newHide;
list[i] = step;
}
}