RuntimeSupport.Quantifier Method

Article
03/26/2013

Creates a quantifier of given kind with given bounds. Typically, the bounds are symbolic values which have been obtained with Value. This is used to express data type invariants.

Namespace: Microsoft.Xrt.Runtime
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)

Usage

'Usage

Syntax

'Declaration

public static bool Quantifier (
    QuantifierKind kind,
    bool body,
    params Object[] bounds
)

Parameters

kind

body

bounds

Return Value

Returns Boolean.

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

Share via