C# Class Microsoft.Zing.ZingerBoundedSearch

Stores the configuration for zinger bounded search
Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство Type Description
FinalChoiceCutOff int
FinalExecutionCutOff int
IterativeCutoff int
IterativeIncrement int

Méthodes publiques

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

Method Details

IncrementIterativeBound() public méthode

public IncrementIterativeBound ( ) : void
Résultat void

ZingerBoundedSearch() public méthode

public ZingerBoundedSearch ( ) : System
Résultat System

ZingerBoundedSearch() public méthode

public ZingerBoundedSearch ( int exeFinalCutoff, int exeIterativeInc, int finalChoiceCutoff ) : System
exeFinalCutoff int
exeIterativeInc int
finalChoiceCutoff int
Résultat System

checkIfFinalCutOffReached() public méthode

public checkIfFinalCutOffReached ( ) : bool
Résultat bool

checkIfIterativeCutOffReached() public méthode

public checkIfIterativeCutOffReached ( ZingerBounds currBounds ) : bool
currBounds ZingerBounds
Résultat bool

Property Details

FinalChoiceCutOff public_oe property

public int FinalChoiceCutOff
Résultat int

FinalExecutionCutOff public_oe property

public int FinalExecutionCutOff
Résultat int

IterativeCutoff public_oe property

public int IterativeCutoff
Résultat int

IterativeIncrement public_oe property

public int IterativeIncrement
Résultat int