C# Class Microsoft.Zing.Process.ProcessULE

Show file Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
atomicityLevel	int
choicePending	bool
lastFunctionCompleted	ZingMethod
middleOfTransition	bool
stackULEs	System.Collections.Stack

Property Details

atomicityLevel public property

public int atomicityLevel
return	int

choicePending public property

public bool choicePending
return	bool

lastFunctionCompleted public property

public ZingMethod,Microsoft.Zing lastFunctionCompleted
return	ZingMethod

middleOfTransition public property

public bool middleOfTransition
return	bool

stackULEs public property

public Stack,System.Collections stackULEs
return	System.Collections.Stack