Microsoft.Zing.ZingerBoundedSearch.IncrementIterativeBound C# (CSharp) Méthode

ZingerBoundedSearch Class Documentation Afficher le fichier Open project: ZingModelChecker/Zing

IncrementIterativeBound() public méthode

public IncrementIterativeBound ( ) : void
Résultat void 
        public void IncrementIterativeBound()
        {
            IterativeCutoff += IterativeIncrement;
        }
ZingerBoundedSearch
IncrementIterativeBound
ZingerBoundedSearch
checkIfFinalCutOffReached
checkIfIterativeCutOffReached