18 package com.microsoft.z3;
35 throw new Z3Exception(
"Int requested from non-Int symbol");
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);