Context.cs File Reference

Go to the source code of this file.

Data Structures
class	Context
	The main interaction with Z3 happens via the Context. More...

Namespaces
namespace	Microsoft
namespace	Microsoft.Z3

Typedefs
using	Z3_context = System.IntPtr