C# Class Microsoft.Zing.ZingerBoundedSearch

Stores the configuration for zinger bounded search

Show file 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 property

public int FinalChoiceCutOff
return	int

FinalExecutionCutOff public property

public int FinalExecutionCutOff
return	int

IterativeCutoff public property

public int IterativeCutoff
return	int

IterativeIncrement public property

public int IterativeIncrement
return	int