C# Class Microsoft.Zing.ZingerBounds

Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property	Type	Description
ChoiceCost	System.Int32
ExecutionCost	System.Int32

Public Methods

Method	Description
IncrementDelayCost ( ) : void
IncrementDepthCost ( ) : void
IncrementPreemptionCost ( ) : void
ZingerBounds ( ) : System
ZingerBounds ( Int32 searchB, Int32 choiceB ) : System

Method Details

IncrementDelayCost() public method

public IncrementDelayCost ( ) : void
return	void

IncrementDepthCost() public method

public IncrementDepthCost ( ) : void
return	void

IncrementPreemptionCost() public method

public IncrementPreemptionCost ( ) : void
return	void

ZingerBounds() public method

public ZingerBounds ( ) : System
return	System

ZingerBounds() public method

public ZingerBounds ( Int32 searchB, Int32 choiceB ) : System
searchB	System.Int32
choiceB	System.Int32
return	System

Property Details

ChoiceCost public property

public Int32,System ChoiceCost
return	System.Int32

ExecutionCost public property

public Int32,System ExecutionCost
return	System.Int32