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

ZingExplorer Class Documentation Show file Open project: ZingModelChecker/Zing

VisitState() protected abstract method

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