C# Class Microsoft.Zing.Process.UndoPush

Inheritance: StackULE
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode Description
UndoPush ( Process p ) : System

Méthodes protégées

Méthode Description
doUndo ( ) : void

Method Details

UndoPush() public méthode

public UndoPush ( Process p ) : System
p Process
Résultat System

doUndo() protected méthode

protected doUndo ( ) : void
Résultat void