Toggle navigation
Hot Examples
DE
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Suchen
Home
Microsoft
Zing
Process.UndoPush
C# Class Microsoft.Zing.Process.UndoPush
Inheritance:
StackULE
Datei anzeigen
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