C# Class Microsoft.Zing.Process.UndoUpdate

Inheritance: StackULE
Mostrar archivo Open project: ZingModelChecker/Zing

Public Methods

Method Description
UndoUpdate ( Process p, object ule ) : System

Protected Methods

Method Description
doUndo ( ) : void

Method Details

UndoUpdate() public method

public UndoUpdate ( Process p, object ule ) : System
p Process
ule object
return System

doUndo() protected method

protected doUndo ( ) : void
return void