C# Class Microsoft.Zing.ZingExplorerNDFSLiveness

Inheritance: ZingExplorer

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

Méthodes publiques

Méthode	Description
ZingExplorerNDFSLiveness ( ) : System.Collections.Generic

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
SetMagicBit ( TraversalInfo ti ) : TraversalInfo

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

ZingExplorerNDFSLiveness() public méthode

public ZingExplorerNDFSLiveness ( ) : System.Collections.Generic
Résultat	System.Collections.Generic