Method | Description | |
---|---|---|
ZingExplorerNDFSLiveness ( ) : System.Collections.Generic |
Method | Description | |
---|---|---|
IterativeSearchStateSpace ( ) : ZingerResult | ||
MustExplore ( |
||
SearchStateSpace ( object obj ) : void | ||
VisitState ( |
Method | Description | |
---|---|---|
SetMagicBit ( |
protected IterativeSearchStateSpace ( ) : ZingerResult | ||
return | ZingerResult |
protected MustExplore ( |
||
ti | ||
return | bool |
protected SearchStateSpace ( object obj ) : void | ||
obj | object | |
return | void |
protected VisitState ( |
||
ti | ||
return | void |
public ZingExplorerNDFSLiveness ( ) : System.Collections.Generic | ||
return | System.Collections.Generic |