Microsoft.Zing.ExecutionState.Reset C# (CSharp) Méthode

ExecutionState Class Documentation Afficher le fichier Open project: ZingModelChecker/Zing

Reset() public méthode

public Reset ( ) : void
Résultat void 
        public override void Reset()
        {
            currProcess = 0;
        }
ExecutionState
ExecutionState
GetDelayedSuccessor
GetNextSuccessor
GetNextSuccessorUnderDelayZeroForRW
GetNextSuccessorUniformRandomly
GetSuccessorN
GetSuccessorNForReplay
NumSuccessors
Replay
Reset
RunProcess
deOrphanize