RawFunctionEntry Class Reference
[Managed (.NET) API]

Z3 Function entry object. More...

---

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 620 of file Microsoft.Z3.h.