C# Класс Microsoft.Zing.ZingExplorerDelayBoundedSampling

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

Наследование: ZingExplorer

Показать файл Открыть проект Примеры использования класса

Защищенные методы

Метод	Описание
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