C# 클래스 Microsoft.Zing.ZingExplorerDelayBoundedSampling

The explorer will perform uniform random walk over the delay bounded executions.

상속: ZingExplorer

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

보호된 메소드들

메소드	설명
IterativeSearchStateSpace ( ) : ZingerResult
MustExplore ( TraversalInfo ti ) : bool
RandomBackTrackAndDelay ( Stack searchStack, int startPoint ) : int
RunToCompletionWithDelayZero ( Stack searchStack ) : void	Explores a deterministic schedule from the peek of the stack to the terminal state.
SearchStateSpace ( object obj ) : void
VisitState ( TraversalInfo ti ) : void

메소드 상세

IterativeSearchStateSpace() 보호된 메소드

protected IterativeSearchStateSpace ( ) : ZingerResult
리턴	ZingerResult

MustExplore() 보호된 메소드

protected MustExplore ( TraversalInfo ti ) : bool
ti	TraversalInfo
리턴	bool

RandomBackTrackAndDelay() 보호된 메소드

protected RandomBackTrackAndDelay ( Stack searchStack, int startPoint ) : int
searchStack	Stack
startPoint	int
리턴	int

RunToCompletionWithDelayZero() 보호된 메소드

Explores a deterministic schedule from the peek of the stack to the terminal state.

protected RunToCompletionWithDelayZero ( Stack searchStack ) : void
searchStack	Stack
리턴	void

SearchStateSpace() 보호된 메소드

protected SearchStateSpace ( object obj ) : void
obj	object
리턴	void

VisitState() 보호된 메소드

protected VisitState ( TraversalInfo ti ) : void
ti	TraversalInfo
리턴	void