18package com.microsoft.z3;
20import com.microsoft.z3.enumerations.Z3_symbol_kind;
34 return Native.getSymbolString(getContext().nCtx(), getNativeObject());
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);
def String(name, ctx=None)
Z3_symbol_kind
The different kinds of symbol. In Z3, a symbol can be represented using integers and strings (See Z3_...