18 package com.microsoft.z3;
41 StringSymbol(Context ctx, String s)
throws Z3Exception
43 super(ctx, Native.mkStringSymbol(ctx.nCtx(), s));
46 void checkNativeObject(
long obj)
throws Z3Exception
48 if (Native.getSymbolKind(getContext().nCtx(), obj) !=
Z3_symbol_kind.Z3_STRING_SYMBOL
50 throw new Z3Exception(
"Symbol is not of String kind");
52 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_...