PexSymbolicValue.IgnoreComputation Method

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

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.

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