OnClause.cs File Reference

Go to the source code of this file.

Data Structures
class	OnClause
	OnClause - clause inference callback. More...

Namespaces
namespace	Microsoft
namespace	Microsoft.Z3

Typedefs
using	voidp = System.IntPtr
using	uintp = System.IntPtr