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