18package com.microsoft.z3;
20import com.microsoft.z3.enumerations.Z3_symbol_kind;
35 throw new Z3Exception(
"Int requested from non-Int symbol");
36 return Native.getSymbolInt(getContext().nCtx(), getNativeObject());
44 IntSymbol(Context ctx,
int i)
46 super(ctx, Native.mkIntSymbol(ctx.nCtx(), i));
50 void checkNativeObject(
long obj)
52 if (Native.getSymbolKind(getContext().nCtx(), obj) !=
Z3_symbol_kind.Z3_INT_SYMBOL
54 throw new Z3Exception(
"Symbol is not of integer kind");
55 super.checkNativeObject(obj);
Z3_symbol_kind
The different kinds of symbol. In Z3, a symbol can be represented using integers and strings (See Z3_...