Microsoft.Zing.ZingExplorer.IterativeSearchStateSpace C# (CSharp) Method

ZingExplorer Class Documentation Show file Open project: ZingModelChecker/Zing

IterativeSearchStateSpace() protected abstract method

protected abstract IterativeSearchStateSpace ( ) : ZingerResult
return ZingerResult 
        protected abstract ZingerResult IterativeSearchStateSpace();
ZingExplorer
Explore
ExploreWithDronacharya
GetTraversalInfoForTrace
Initialize
IterativeSearchStateSpace
MustExplore
PrintErrorTracesDetailed
PrintErrorTracesToFile
SearchStateSpace
VisitState
ZingExplorer