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

An Efficient SMT Solver

ArrayValue Class Reference
[Managed (.NET) API]

Z3 Array Value object. More...

Data Fields
array< ValuePtr >	Domain
array< ValuePtr >	Range
ValuePtr	ElseCase

---

Detailed Description

Z3 Array Value object.

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