C# Class Microsoft.Zing.ZingExplorerNaiveRandomWalk

This class performs naive random walk

Inheritance: ZingExplorer

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

Méthodes publiques

Méthode	Description
ZingExplorerNaiveRandomWalk ( ) : System

Méthodes protégées

Méthode	Description
IterativeSearchStateSpace ( ) : ZingerResult
MustExplore ( TraversalInfo ti ) : bool
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

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

ZingExplorerNaiveRandomWalk() public méthode

public ZingExplorerNaiveRandomWalk ( ) : System
Résultat	System