Native.ObjArrayPtr (z3-turnkey 4.10.1 API)

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 Detail
  - value
```
public long[] value
```
- Constructor Detail
  - ObjArrayPtr
```
public ObjArrayPtr()
```