Share via


PexSymbolicValue.IgnoreComputation Method

Definition

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.

Returns

T

Applies to