NativeContext.cs File Reference

Go to the source code of this file.

Data Structures
class	NativeContext
	The main interaction with Z3 happens via the Context. NativeContext allows for efficient wrapper-reduced interaction with Z3 expressions. More...

Namespaces
namespace	Microsoft
namespace	Microsoft.Z3

Typedefs
using	Z3_app = System.IntPtr
using	Z3_ast = System.IntPtr
using	Z3_ast_vector = System.IntPtr
using	Z3_func_decl = System.IntPtr
using	Z3_pattern = System.IntPtr
using	Z3_solver = System.IntPtr
using	Z3_sort = System.IntPtr
using	Z3_stats = System.IntPtr
using	Z3_symbol = System.IntPtr