Combination Members

  • Article

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
public method static ExcludeFromExpansion Indicates that Spec Explorer should not expand a set of values within the scope of the enclosing method.
public method static Expand Indicates that Spec Explorer should perform value expansion at a specific execution point.
public method static 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.
public method static Isolated Indicates that a set of conditions defines an isolation condition.
public method static KeepUnexpanded Indicates that Spec Explorer should not expand a set of values within the scope of the model program.
public method static 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.
public method static 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.
public method static 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.
public method static 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.
public method static Seeded Indicates that a set of conditions defines a seeded condition.
public method static SetLimit Indicates that Spec Explorer should no more than a certain number of parameter combinations.
public method static Strategy Indicates which strategy Spec Explorer should use when producing parameter combinations.

Top

See Also

Reference

Combination Class
Microsoft.Modeling Namespace

Other Resources

Parameter Generation