QuantifierKind Enumeration

Kind of a quantifier.


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

'Usage

Member nameDescription
ExistsExistential quantification.
ForallUniversal 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: