Package com.microsoft.z3

Class Native.StringPtr

java.lang.Object

com.microsoft.z3.Native.StringPtr

Enclosing class:

Native

public static class Native.StringPtr
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
String	value

Constructor Summary

Constructors

Constructor	Description
StringPtr()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

value

public String value

Constructor Details

StringPtr

public StringPtr()