C# (CSharp) Microsoft.Zing TraversalInfo.deOrphanize示例

deOrphanize() abstract private method

abstract private deOrphanize ( StateImpl s ) : void
s	StateImpl
return	void

示例#1

文件： StepByStepTraversal.cs 项目： ZingModelChecker/Zing

        protected override void Replay(TraversalInfo succ, Via bt)
        {
            ViaChoose vc = (ViaChoose)bt;

            StateImpl s = this.reclaimState();
            s.RunChoice(vc.ChoiceNumber);
            succ.deOrphanize(s);
        }

示例#2

文件： StepByStepTraversal.cs 项目： ZingModelChecker/Zing

        protected override void Replay(TraversalInfo succ, Via bt)
        {
            ViaExecute ve = (ViaExecute)bt;

            StateImpl s = this.reclaimState();
            s.RunProcess(ve.ProcessExecuted);
            succ.deOrphanize(s);
        }