Package com.microsoft.z3

Class Native.IntPtr

java.lang.Object

com.microsoft.z3.Native.IntPtr

Enclosing class:

Native

public static class Native.IntPtr
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	value

Constructor Summary

Constructors

Constructor	Description
IntPtr()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

value

public int value

Constructor Details

IntPtr

public IntPtr()