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

An Efficient SMT Solver

FunctionEntry Class Reference
[Managed (.NET) API]

Z3 Function entry object. More...

Data Fields
array< ValuePtr >	Arguments
ValuePtr	Result

---

Detailed Description

Z3 Function entry object.

A FunctionEntry object summarizes what a function maps to based on a given set of argument values.

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