C# Class ExternalDelayingExplorer.RoundRobinDBSchedulerState

Inheritance: Microsoft.Zing.ZingerSchedulerState

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property	Type	Description
enabledProcesses	List

Public Methods

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

Method Details

Clone() public method

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

RoundRobinDBSchedulerState() public method

public RoundRobinDBSchedulerState ( ) : System
return	System

RoundRobinDBSchedulerState() public method

public RoundRobinDBSchedulerState ( RoundRobinDBSchedulerState copyThis ) : System
copyThis	RoundRobinDBSchedulerState
return	System

ToString() public method

public ToString ( ) : string
return	string

Property Details

enabledProcesses public property

public List enabledProcesses
return	List