C# Class Microsoft.Zing.Process.UndoUpdate

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

Méthodes publiques

Méthode Description
UndoUpdate ( Process p, object ule ) : System

Méthodes protégées

Méthode Description
doUndo ( ) : void

Method Details

UndoUpdate() public méthode

public UndoUpdate ( Process p, object ule ) : System
p Process
ule object
Résultat System

doUndo() protected méthode

protected doUndo ( ) : void
Résultat void