Package com.microsoft.z3

Class Native.ObjArrayPtr

java.lang.Object

com.microsoft.z3.Native.ObjArrayPtr

Enclosing class:

Native

public static class Native.ObjArrayPtr
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
long[]	value

Constructor Summary

Constructors

Constructor	Description
ObjArrayPtr()

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

ObjArrayPtr

public ObjArrayPtr()