C# 클래스 Microsoft.Zing.ZingerBoundedSearch

Stores the configuration for zinger bounded search
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 프로퍼티들

프로퍼티 타입 설명
FinalChoiceCutOff int
FinalExecutionCutOff int
IterativeCutoff int
IterativeIncrement int

공개 메소드들

메소드 설명
IncrementIterativeBound ( ) : void
ZingerBoundedSearch ( ) : System
ZingerBoundedSearch ( int exeFinalCutoff, int exeIterativeInc, int finalChoiceCutoff ) : System
checkIfFinalCutOffReached ( ) : bool
checkIfIterativeCutOffReached ( ZingerBounds currBounds ) : bool

메소드 상세

IncrementIterativeBound() 공개 메소드

public IncrementIterativeBound ( ) : void
리턴 void

ZingerBoundedSearch() 공개 메소드

public ZingerBoundedSearch ( ) : System
리턴 System

ZingerBoundedSearch() 공개 메소드

public ZingerBoundedSearch ( int exeFinalCutoff, int exeIterativeInc, int finalChoiceCutoff ) : System
exeFinalCutoff int
exeIterativeInc int
finalChoiceCutoff int
리턴 System

checkIfFinalCutOffReached() 공개 메소드

public checkIfFinalCutOffReached ( ) : bool
리턴 bool

checkIfIterativeCutOffReached() 공개 메소드

public checkIfIterativeCutOffReached ( ZingerBounds currBounds ) : bool
currBounds ZingerBounds
리턴 bool

프로퍼티 상세

FinalChoiceCutOff 공개적으로 프로퍼티

public int FinalChoiceCutOff
리턴 int

FinalExecutionCutOff 공개적으로 프로퍼티

public int FinalExecutionCutOff
리턴 int

IterativeCutoff 공개적으로 프로퍼티

public int IterativeCutoff
리턴 int

IterativeIncrement 공개적으로 프로퍼티

public int IterativeIncrement
리턴 int