C# Class ExternalDelayingExplorer.RTCDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property	Type	Description
DBStack	Stack

Public Methods

Method	Description
Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
RTCDBSchedulerState ( ) : System
RTCDBSchedulerState ( RTCDBSchedulerState copyThis ) : System
ToString ( ) : string

Method Details

Clone() public method

public Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
isCloneForFrontier	bool
return	Microsoft.Zing.ZingerSchedulerState

RTCDBSchedulerState() public method

public RTCDBSchedulerState ( ) : System
return	System

RTCDBSchedulerState() public method

public RTCDBSchedulerState ( RTCDBSchedulerState copyThis ) : System
copyThis	RTCDBSchedulerState
return	System

ToString() public method

public ToString ( ) : string
return	string

Property Details

DBStack public property

public Stack DBStack
return	Stack