public override Process Rename(Dictionary <string, Expression> constMapping, Dictionary <string, string> newDefNames, Dictionary <string, Definition> renamedProcesses)
{
Process result = new Hiding(Process.Rename(constMapping, newDefNames, renamedProcesses), HidingAlphabets.ClearConstant(constMapping));
result.IsBDDEncodableProp = this.IsBDDEncodableProp;
return(result);
}
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;
}
}
