18 package com.microsoft.z3;
48 void checkNativeObject(
long obj)
52 throw new Z3Exception(
"Symbol is not of String kind");
54 super.checkNativeObject(obj);
static String getSymbolString(long a0, long a1)
static long mkStringSymbol(long a0, String a1)
static int getSymbolKind(long a0, long a1)
def String(name, ctx=None)