Probability Members
Indicates that Spec Explorer should make a stochastic choice during model exploration.
The following tables list the members exposed by the Probability type.
Public Methods
| Name | Description | |
|---|---|---|
.gif "public method") .gif "static") |
Choose | Performs an unweighted selection of an element from a collection of values. |
| |
IsTrue | Performs a weighted selection between true and false. |
| |
Select | Performs a weighted selection of an element from an array of values. |
Top