Toggle navigation
Hot Examples
KO
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
검색
홈
Microsoft
Zing
Process.ProcessULE
C# 클래스 Microsoft.Zing.Process.ProcessULE
파일 보기
프로젝트 열기: ZingModelChecker/Zing
공개 프로퍼티들
프로퍼티
타입
설명
atomicityLevel
int
choicePending
bool
lastFunctionCompleted
ZingMethod
middleOfTransition
bool
stackULEs
System.Collections.Stack
프로퍼티 상세
atomicityLevel
공개적으로 프로퍼티
public
int
atomicityLevel
리턴
int
choicePending
공개적으로 프로퍼티
public
bool
choicePending
리턴
bool
lastFunctionCompleted
공개적으로 프로퍼티
public
ZingMethod,Microsoft.Zing
lastFunctionCompleted
리턴
ZingMethod
middleOfTransition
공개적으로 프로퍼티
public
bool
middleOfTransition
리턴
bool
stackULEs
공개적으로 프로퍼티
public
Stack,System.Collections
stackULEs
리턴
System.Collections.Stack