Property | Type | Description | |
---|---|---|---|
AcceptingCycles | |||
CancelTokenZingExplorer | |||
SafetyErrors | |||
StartStateTraversalInfo | |||
lastErrorFound | ZingerResult |
Method | Description | |
---|---|---|
Explore ( ) : ZingerResult | ||
ExploreWithDronacharya ( ) : ZingerResult | ||
PrintErrorTracesDetailed ( ) : void | ||
PrintErrorTracesToFile ( ) : void | ||
ZingExplorer ( ) : System |
Method | Description | |
---|---|---|
GetTraversalInfoForTrace ( System.Trace trace ) : |
||
IterativeSearchStateSpace ( ) : ZingerResult | ||
MustExplore ( |
||
SearchStateSpace ( object obj ) : void | ||
VisitState ( |
Method | Description | |
---|---|---|
Initialize ( ) : void |
public ExploreWithDronacharya ( ) : ZingerResult | ||
return | ZingerResult |
protected GetTraversalInfoForTrace ( System.Trace trace ) : |
||
trace | System.Trace | |
return |
protected abstract IterativeSearchStateSpace ( ) : ZingerResult | ||
return | ZingerResult |
protected abstract MustExplore ( |
||
ti | ||
return | bool |
protected abstract SearchStateSpace ( object obj ) : void | ||
obj | object | |
return | void |
protected abstract VisitState ( |
||
ti | ||
return | void |
protected ArrayList,System.Collections AcceptingCycles | ||
return |
protected CancellationTokenSource,System.Threading CancelTokenZingExplorer | ||
return |
protected ArrayList,System.Collections SafetyErrors | ||
return |
protected TraversalInfo,Microsoft.Zing StartStateTraversalInfo | ||
return |