C# 클래스 ExternalDelayingExplorer.CustomDBSchedulerState

상속: Microsoft.Zing.ZingerSchedulerState

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 프로퍼티들

프로퍼티	타입	설명
EnabledProcessesWithPriority	int>.Dictionary
PriorityMap	int>.Dictionary
randGen	System.Random
sortedProcesses	List

공개 메소드들

메소드	설명
Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
CustomDBSchedulerState ( ) : System
CustomDBSchedulerState ( CustomDBSchedulerState copyThis ) : System
ToString ( ) : string

메소드 상세

Clone() 공개 메소드

public Clone ( bool isCloneForFrontier ) : ZingerSchedulerState
isCloneForFrontier	bool
리턴	Microsoft.Zing.ZingerSchedulerState

CustomDBSchedulerState() 공개 메소드

public CustomDBSchedulerState ( ) : System
리턴	System

CustomDBSchedulerState() 공개 메소드

public CustomDBSchedulerState ( CustomDBSchedulerState copyThis ) : System
copyThis	CustomDBSchedulerState
리턴	System

ToString() 공개 메소드

public ToString ( ) : string
리턴	string

프로퍼티 상세

EnabledProcessesWithPriority 공개적으로 프로퍼티

public Dictionary EnabledProcessesWithPriority
리턴	int>.Dictionary

PriorityMap 공개적으로 프로퍼티

public Dictionary PriorityMap
리턴	int>.Dictionary

randGen 공개적으로 프로퍼티

public Random,System randGen
리턴	System.Random

sortedProcesses 공개적으로 프로퍼티

public List sortedProcesses
리턴	List