C# (CSharp) PAT.KWSN.LTS Hiding 예제들

예제 #1

파일: Hiding.cs 프로젝트: vu111293/pat-design

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

예제 #2

파일: Hiding.cs 프로젝트: nhannhan159/PAT

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