QuantifierKind Enumeration
Kind of a quantifier.
Namespace: Microsoft.Xrt.Runtime
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)
Namespace: Microsoft.Xrt.Runtime
Assembly: Microsoft.Xrt.Runtime (in Microsoft.Xrt.Runtime.dll)
| Member name | Description |
|---|---|
| Exists | Existential quantification. |
| Forall | Universal quantification. |
Development Platforms
Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003
Community Additions
ADD
Show: