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