C# Class Microsoft.Zing.ZingerBoundedSearch

Stores the configuration for zinger bounded search

ファイルを表示 Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
FinalChoiceCutOff	int
FinalExecutionCutOff	int
IterativeCutoff	int
IterativeIncrement	int

Public Methods

Method	Description
IncrementIterativeBound ( ) : void
ZingerBoundedSearch ( ) : System
ZingerBoundedSearch ( int exeFinalCutoff, int exeIterativeInc, int finalChoiceCutoff ) : System
checkIfFinalCutOffReached ( ) : bool
checkIfIterativeCutOffReached ( ZingerBounds currBounds ) : bool

Method Details

IncrementIterativeBound() public method

public IncrementIterativeBound ( ) : void
return	void

ZingerBoundedSearch() public method

public ZingerBoundedSearch ( ) : System
return	System

ZingerBoundedSearch() public method

public ZingerBoundedSearch ( int exeFinalCutoff, int exeIterativeInc, int finalChoiceCutoff ) : System
exeFinalCutoff	int
exeIterativeInc	int
finalChoiceCutoff	int
return	System

checkIfFinalCutOffReached() public method

public checkIfFinalCutOffReached ( ) : bool
return	bool

checkIfIterativeCutOffReached() public method

public checkIfIterativeCutOffReached ( ZingerBounds currBounds ) : bool
currBounds	ZingerBounds
return	bool

Property Details

FinalChoiceCutOff public_oe property

public int FinalChoiceCutOff
return	int

FinalExecutionCutOff public_oe property

public int FinalExecutionCutOff
return	int

IterativeCutoff public_oe property

public int IterativeCutoff
return	int

IterativeIncrement public_oe property

public int IterativeIncrement
return	int