Package com.microsoft.z3

Class Native.UIntArrayPtr

java.lang.Object

com.microsoft.z3.Native.UIntArrayPtr

Enclosing class:

Native

public static class Native.UIntArrayPtr
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int[]	value

Constructor Summary

Constructors

Constructor	Description
UIntArrayPtr()

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

UIntArrayPtr

public UIntArrayPtr()