com.microsoft.z3

Class Native.ObjArrayPtr

java.lang.Object

com.microsoft.z3.Native.ObjArrayPtr

Enclosing class:

Native

public static class Native.ObjArrayPtr
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
long[]	value

Constructor Summary

Constructors

Constructor and Description
Native.ObjArrayPtr()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

value

public long[] value

Constructor Detail

Native.ObjArrayPtr

public Native.ObjArrayPtr()