Partager via


QuantifierKind Enumeration

Kind of a quantifier.

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

Usage

'Usage

Syntax

'Declaration
public enum QuantifierKind

Members

Member name Description
Exists Existential quantification.
Forall Universal quantification.

Platforms

Development Platforms

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

See Also

Reference

Microsoft.Xrt.Runtime Namespace