C# Class Microsoft.Zing.ZingExplorerDelayBoundedSampling

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

Inheritance: ZingExplorer

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes protégées

Méthode	Description
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

Method Details

IterativeSearchStateSpace() protected méthode

protected IterativeSearchStateSpace ( ) : ZingerResult
Résultat	ZingerResult

MustExplore() protected méthode

protected MustExplore ( TraversalInfo ti ) : bool
ti	TraversalInfo
Résultat	bool

RandomBackTrackAndDelay() protected méthode

protected RandomBackTrackAndDelay ( Stack searchStack, int startPoint ) : int
searchStack	Stack
startPoint	int
Résultat	int

RunToCompletionWithDelayZero() protected méthode

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

protected RunToCompletionWithDelayZero ( Stack searchStack ) : void
searchStack	Stack
Résultat	void

SearchStateSpace() protected méthode

protected SearchStateSpace ( object obj ) : void
obj	object
Résultat	void

VisitState() protected méthode

protected VisitState ( TraversalInfo ti ) : void
ti	TraversalInfo
Résultat	void