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 -> unitPublic 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> -> 'TPublic Shared Function IgnoreComputation(Of T) (function As PexSymbolicValue.Function(Of T)) As TType Parameters
- T
Parameters
- function
- PexSymbolicValue.Function<T>
The function.
Returns
T