Home	•	Docs	•	Download	•	Mail	•	FAQ	•	Awards	•	Status	•	MSR

An Efficient SMT Solver

Microsoft::Z3::Symbol

Symbol Class Reference
[Managed (.NET) API]

Symbol. More...

Detailed Description

Wrapper class for string or integer symbols.

Definition at line 58 of file Microsoft.Z3.h.

Last modified Thu Nov 12 16:35:57 2009