C# Class Microsoft.Zing.ZingExplorerNDFSLiveness

Inheritance: ZingExplorer

Mostra file Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
ZingExplorerNDFSLiveness ( ) : System.Collections.Generic

Protected Methods

Method	Description
IterativeSearchStateSpace ( ) : ZingerResult
MustExplore ( TraversalInfo ti ) : bool
SearchStateSpace ( object obj ) : void
VisitState ( TraversalInfo ti ) : void

Private Methods

Method	Description
SetMagicBit ( TraversalInfo ti ) : TraversalInfo

Method Details

IterativeSearchStateSpace() protected method

protected IterativeSearchStateSpace ( ) : ZingerResult
return	ZingerResult

MustExplore() protected method

protected MustExplore ( TraversalInfo ti ) : bool
ti	TraversalInfo
return	bool

SearchStateSpace() protected method

protected SearchStateSpace ( object obj ) : void
obj	object
return	void

VisitState() protected method

protected VisitState ( TraversalInfo ti ) : void
ti	TraversalInfo
return	void

ZingExplorerNDFSLiveness() public method

public ZingExplorerNDFSLiveness ( ) : System.Collections.Generic
return	System.Collections.Generic