Z3
Data Structures | Namespaces | Typedefs
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