C# 클래스 Microsoft.Zing.FrontierNode

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

공개 프로퍼티들

프로퍼티	타입	설명
Bounds	ZingerBounds

공개 메소드들

메소드	설명
Deserialize ( Stream inputStream ) : void
FrontierNode ( ) : System
FrontierNode ( TraversalInfo ti ) : System
GetTraversalInfo ( StateImpl InitialState, int threadId ) : TraversalInfo
Serialize ( Stream outputStream ) : void

비공개 메소드들

메소드	설명
GetTraversalInfoForTrace ( System.Trace trace, int threadId, StateImpl iState ) : TraversalInfo	Executes the model checker from the model initial state to the state represented by the given trace. Sets the initial state for algorithms not using reduction.

메소드 상세

Deserialize() 공개 메소드

public Deserialize ( Stream inputStream ) : void
inputStream	Stream
리턴	void

FrontierNode() 공개 메소드

public FrontierNode ( ) : System
리턴	System

FrontierNode() 공개 메소드

public FrontierNode ( TraversalInfo ti ) : System
ti	TraversalInfo
리턴	System

GetTraversalInfo() 공개 메소드

public GetTraversalInfo ( StateImpl InitialState, int threadId ) : TraversalInfo
InitialState	StateImpl
threadId	int
리턴	TraversalInfo

Serialize() 공개 메소드

public Serialize ( Stream outputStream ) : void
outputStream	Stream
리턴	void

프로퍼티 상세

Bounds 공개적으로 프로퍼티

Current Bounds for the Frontier Node

public ZingerBounds,Microsoft.Zing Bounds
리턴	ZingerBounds