메소드 | 설명 | |
---|---|---|
ZingExplorerNDFSLiveness ( ) : System.Collections.Generic |
메소드 | 설명 | |
---|---|---|
IterativeSearchStateSpace ( ) : ZingerResult | ||
MustExplore ( |
||
SearchStateSpace ( object obj ) : void | ||
VisitState ( |
메소드 | 설명 | |
---|---|---|
SetMagicBit ( |
protected IterativeSearchStateSpace ( ) : ZingerResult | ||
리턴 | ZingerResult |
public ZingExplorerNDFSLiveness ( ) : System.Collections.Generic | ||
리턴 | System.Collections.Generic |