Package com.microsoft.z3

Class Native.LongPtr

java.lang.Object

com.microsoft.z3.Native.LongPtr

Enclosing class:

Native

public static class Native.LongPtr
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
long	value

Constructor Summary

Constructors

Constructor	Description
LongPtr()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

value

public long value

Constructor Details

LongPtr

public LongPtr()