Z3
Data Structures | Namespaces | Typedefs
UserPropagator.cs File Reference

Go to the source code of this file.

Data Structures

class  UserPropagator
 Propagator context for .Net More...
 

Namespaces

namespace  Microsoft
 
namespace  Microsoft.Z3
 

Typedefs

using Z3_solver_callback = System.IntPtr
 
using voidp = System.IntPtr