Microsoft.Zing.ZingerBounds.IncrementDelayCost C# (CSharp) Method

ZingerBounds Class Documentation Show file Open project: ZingModelChecker/Zing

IncrementDelayCost() public method

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