C# Class Microsoft.Zing.ZingExplorerStateLessSearch

Inheritance: ZingExplorer

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Méthode	Description
ZingExplorerStateLessSearch ( ) : System

Méthodes protégées

Méthode	Description
IterativeSearchStateSpace ( ) : ZingerResult
MustExplore ( TraversalInfo ti ) : bool
SearchStateSpace ( object obj ) : void
VisitState ( TraversalInfo ti ) : void

Private Methods

Méthode	Description
SearchStackContains ( Stack stack, TraversalInfo ti ) : bool

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

ZingExplorerStateLessSearch() public méthode

public ZingExplorerStateLessSearch ( ) : System
Résultat	System