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 |