PexSymbolicValue Class

Definition

Namespace:

Microsoft.Pex.Framework

Assembly:

Microsoft.Pex.Framework.dll

Helper functions to deal with symbolic inputs

public ref class PexSymbolicValue abstract sealed

[__DoNotInstrument]
public static class PexSymbolicValue

[<__DoNotInstrument>]
type PexSymbolicValue = class

Public Class PexSymbolicValue

Inheritance

Object

PexSymbolicValue

Attributes

__DoNotInstrumentAttribute

Remarks

DOT NOT INSTRUMENT THIS CLASS

Methods

Derive<TFormula>(TFormula, Double)	Computes the derivative of formula with respect to variable
GetPathConditionString()	Gets a textual representation of the path condition at this point.
GetRawPathConditionString()	Gets a textual representation of the path condition at this point.
GetRelevantInputNames<T>(T)	Gets a textual representation of inputs directly or indirect affecting the given value.
Ignore<T>(T)	Forgets all constraints associated with passed value
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.
IgnoreEnumeration<T>(IEnumerable<T>)	Forgets all constraints associated with the enumeration
IsSymbolic<T>(T)	Checks whether the given value has any symbolic information attached to it. In other words, it checks whether the value was derived from the test inputs. Note that this check only applies to the given value itself, and not to its fields if it is an object
Minimize(Int32)	Instruct IntelliTest to minimize a particular value.
Minimize(Int64)	Instruct IntelliTest to minimize a particular value.
Minimize(UInt32)	Instruct IntelliTest to minimize a particular value.
Minimize(UInt64)	Instruct IntelliTest to minimize a particular value.
ToRawString<T>(T)	Turns a value into a string that represents the symbolic value.
ToString<T>(T)	Turns a value into a string that represents the symbolic value.