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.StackULE
C# Class Microsoft.Zing.Process.StackULE
Datei anzeigen
Open project: ZingModelChecker/Zing
Protected Properties
Property
Type
Description
process
Process
Public Methods
Method
Description
Undo
( ) :
void
Protected Methods
Method
Description
StackULE
(
Process
p
) :
System
doUndo
( ) :
void
Method Details
StackULE()
protected
method
protected
StackULE
(
Process
p
) :
System
p
Process
return
System
Undo()
public
method
public
Undo
( ) :
void
return
void
doUndo()
protected
abstract
method
protected
abstract
doUndo
( ) :
void
return
void
Property Details
process
protected_oe property
protected
Process
process
return
Process