Probability Class

Article
03/26/2013

Indicates that Spec Explorer should make a stochastic choice during model exploration.

Namespace: Microsoft.Modeling
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)

Usage

'Usage

Syntax

'Declaration

public static class Probability

Remarks

Use this class to randomize the inputs generated for a model. The Choose and Select methods select an element from a collection. The IsTrue method returns true or false with a specified probability. To model non-determinism in the output of the system under test, use the Choice class.

To set the seed for the random number generator for the Probability class, use the RandomSeed configuration switch. For the same seed and machine, machine exploration generates the same transition system. For more information about the RandomSeed switch, see Model Evaluation and Exploration Switches.

Inheritance Hierarchy

System.Object
Microsoft.Modeling.Probability

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003