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

An Efficient SMT Solver

ConstDeclAst Class Reference
[Managed (.NET) API]

Inherits Ast.

Package Functions
	ConstDeclAst (Context^c, ConstDeclAstPtr a)

---

Detailed Description

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