C# 클래스 Microsoft.Zing.ZingerBounds

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

공개 프로퍼티들

프로퍼티	타입	설명
ChoiceCost	System.Int32
ExecutionCost	System.Int32

공개 메소드들

메소드	설명
IncrementDelayCost ( ) : void
IncrementDepthCost ( ) : void
IncrementPreemptionCost ( ) : void
ZingerBounds ( ) : System
ZingerBounds ( Int32 searchB, Int32 choiceB ) : System

메소드 상세

IncrementDelayCost() 공개 메소드

public IncrementDelayCost ( ) : void
리턴	void

IncrementDepthCost() 공개 메소드

public IncrementDepthCost ( ) : void
리턴	void

IncrementPreemptionCost() 공개 메소드

public IncrementPreemptionCost ( ) : void
리턴	void

ZingerBounds() 공개 메소드

public ZingerBounds ( ) : System
리턴	System

ZingerBounds() 공개 메소드

public ZingerBounds ( Int32 searchB, Int32 choiceB ) : System
searchB	System.Int32
choiceB	System.Int32
리턴	System

프로퍼티 상세

ChoiceCost 공개적으로 프로퍼티

public Int32,System ChoiceCost
리턴	System.Int32

ExecutionCost 공개적으로 프로퍼티

public Int32,System ExecutionCost
리턴	System.Int32