C# Class Microsoft.Zing.Process.ProcessULE

Mostrar archivo 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_oe property

public int atomicityLevel
return	int

choicePending public_oe property

public bool choicePending
return	bool

lastFunctionCompleted public_oe property

public ZingMethod,Microsoft.Zing lastFunctionCompleted
return	ZingMethod

middleOfTransition public_oe property

public bool middleOfTransition
return	bool

stackULEs public_oe property

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