18 package com.microsoft.z3;
42 StringSymbol(Context ctx,
String s)
44 super(ctx, Native.mkStringSymbol(ctx.nCtx(), s));
48 void checkNativeObject(
long obj)
50 if (Native.getSymbolKind(getContext().nCtx(), obj) !=
Z3_symbol_kind.Z3_STRING_SYMBOL
52 throw new Z3Exception(
"Symbol is not of String kind");
54 super.checkNativeObject(obj);
static String getSymbolString(long a0, long a1)
Z3_symbol_kind
The different kinds of symbol. In Z3, a symbol can be represented using integers and strings (See Z3_...