Combination Members
Provides methods for controlling how Spec Explorer produces value or parameter combinations.
The following tables list the members exposed by the Combination type.
Public Methods
| Name | Description | |
|---|---|---|
.gif "public method") .gif "static") |
ExcludeFromExpansion | Indicates that Spec Explorer should not expand a set of values within the scope of the enclosing method. |
| |
Expand | Indicates that Spec Explorer should perform value expansion at a specific execution point. |
| |
Interaction | Indicates that the given variables, parameters, or expressions are in interaction, and Spec Explorer should produce the full Cartesian product space for their possible values under the constraint. |
| |
Isolated | Indicates that a set of conditions defines an isolation condition. |
| |
KeepUnexpanded | Indicates that Spec Explorer should not expand a set of values within the scope of the model program. |
| |
NWise | Indicates that the given variables, parameters, or expressions are in n-wise interaction, and for each subset of n values in the set of values Spec Explorer should produce a full Cartesian product space. |
| |
NWiseDeep | Indicates that the given variables, parameters, or expressions are in deep n-wise interaction, and for each subset of n values in the set of values Spec Explorer should produce a full Cartesian product space. |
| |
Pairwise | Indicates that the given variables, parameters, or expressions are in pairwise interaction, and for each pair of values in the set of values Spec Explorer should produce a full Cartesian product space. |
| |
PairwiseDeep | Indicates that the given variables, parameters, or expressions are in deep pairwise interaction, and for each pair of values in the set of values Spec Explorer should produce a full Cartesian product space. |
| |
Seeded | Indicates that a set of conditions defines a seeded condition. |
| |
SetLimit | Indicates that Spec Explorer should no more than a certain number of parameter combinations. |
| |
Strategy | Indicates which strategy Spec Explorer should use when producing parameter combinations. |
Top
See Also
Reference
Combination Class
Microsoft.Modeling Namespace