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