Microsoft.Zing.ZingerBounds.IncrementDelayCost C# (CSharp) Méthode

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

IncrementDelayCost() public méthode

public IncrementDelayCost ( ) : void
Résultat void 
        public void IncrementDelayCost()
        {
            if (ZingerConfiguration.DoDelayBounding)
            {
                ExecutionCost++;
            }
        }
ZingerBounds
IncrementDelayCost
IncrementDepthCost
IncrementPreemptionCost
ZingerBounds