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

ZingExplorer Class Documentation Show file Open project: ZingModelChecker/Zing

SearchStateSpace() protected abstract method

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