Observação
O acesso a essa página exige autorização. Você pode tentar entrar ou alterar diretórios.
O acesso a essa página exige autorização. Você pode tentar alterar os diretórios.
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 | |
---|---|---|
![]() ![]() |
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