C# Class Microsoft.Zing.ZingerBounds

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство	Type	Description
ChoiceCost	System.Int32
ExecutionCost	System.Int32

Méthodes publiques

Méthode	Description
IncrementDelayCost ( ) : void
IncrementDepthCost ( ) : void
IncrementPreemptionCost ( ) : void
ZingerBounds ( ) : System
ZingerBounds ( Int32 searchB, Int32 choiceB ) : System

Method Details

IncrementDelayCost() public méthode

public IncrementDelayCost ( ) : void
Résultat	void

IncrementDepthCost() public méthode

public IncrementDepthCost ( ) : void
Résultat	void

IncrementPreemptionCost() public méthode

public IncrementPreemptionCost ( ) : void
Résultat	void

ZingerBounds() public méthode

public ZingerBounds ( ) : System
Résultat	System

ZingerBounds() public méthode

public ZingerBounds ( Int32 searchB, Int32 choiceB ) : System
searchB	System.Int32
choiceB	System.Int32
Résultat	System

Property Details

ChoiceCost public_oe property

public Int32,System ChoiceCost
Résultat	System.Int32

ExecutionCost public_oe property

public Int32,System ExecutionCost
Résultat	System.Int32