C# Class Microsoft.Zing.Process.UndoPush

Inheritance: StackULE
Mostra file Open project: ZingModelChecker/Zing

Public Methods

Method Description
UndoPush ( Process p ) : System

Protected Methods

Method Description
doUndo ( ) : void

Method Details

UndoPush() public method

public UndoPush ( Process p ) : System
p Process
return System

doUndo() protected method

protected doUndo ( ) : void
return void