C# 클래스 Microsoft.Zing.ZingExplorerLivenessSampling

상속: ZingExplorer
파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 메소드들

메소드 설명
ZingExplorerLivenessSampling ( ) : System

보호된 메소드들

메소드 설명
IterativeSearchStateSpace ( ) : ZingerResult
MustExplore ( TraversalInfo ti ) : bool
SearchStateSpace ( object obj ) : void
VisitState ( TraversalInfo ti ) : void

메소드 상세

IterativeSearchStateSpace() 보호된 메소드

protected IterativeSearchStateSpace ( ) : ZingerResult
리턴 ZingerResult

MustExplore() 보호된 메소드

protected MustExplore ( TraversalInfo ti ) : bool
ti TraversalInfo
리턴 bool

SearchStateSpace() 보호된 메소드

protected SearchStateSpace ( object obj ) : void
obj object
리턴 void

VisitState() 보호된 메소드

protected VisitState ( TraversalInfo ti ) : void
ti TraversalInfo
리턴 void

ZingExplorerLivenessSampling() 공개 메소드

public ZingExplorerLivenessSampling ( ) : System
리턴 System