NativeFuncInterp.cs File Reference

Go to the source code of this file.

Data Structures
class	NativeFuncInterp
	A function interpretation is represented as a finite map and an 'else' value. Each entry in the finite map represents the value of a function given a set of arguments. More...
class	NativeFuncInterp.Entry
	Evaluation entry of a function. More...

Namespaces
namespace	Microsoft
namespace	Microsoft.Z3

Typedefs
using	Z3_model = System.IntPtr
using	Z3_func_interp = System.IntPtr
using	Z3_func_entry = System.IntPtr