PexSymbolicValue.IgnoreComputation Method
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Overloads
IgnoreComputation(PexSymbolicValue+Action) |
Performs a given action, but forgets all constraints associated with the computation. |
IgnoreComputation<T>(PexSymbolicValue.Function<T>) |
Evaluates a given function, but forgets all constraints associated with the computation of the result. |
IgnoreComputation(PexSymbolicValue+Action)
Performs a given action, but forgets all constraints associated with the computation.
public:
static void IgnoreComputation(Microsoft::Pex::Framework::PexSymbolicValue::Action ^ action);
public static void IgnoreComputation (Microsoft.Pex.Framework.PexSymbolicValue.Action action);
static member IgnoreComputation : Microsoft.Pex.Framework.PexSymbolicValue.Action -> unit
Public Shared Sub IgnoreComputation (action As PexSymbolicValue.Action)
Parameters
- action
- PexSymbolicValue.Action
The action.
Applies to
IgnoreComputation<T>(PexSymbolicValue.Function<T>)
Evaluates a given function, but forgets all constraints associated with the computation of the result.
public:
generic <typename T>
static T IgnoreComputation(Microsoft::Pex::Framework::PexSymbolicValue::Function<T> ^ function);
public static T IgnoreComputation<T> (Microsoft.Pex.Framework.PexSymbolicValue.Function<T> function);
static member IgnoreComputation : Microsoft.Pex.Framework.PexSymbolicValue.Function<'T> -> 'T
Public Shared Function IgnoreComputation(Of T) (function As PexSymbolicValue.Function(Of T)) As T
Type Parameters
- T
Parameters
- function
- PexSymbolicValue.Function<T>
The function.