18 package com.microsoft.z3;
60 return Integer.toString(((
IntSymbol)
this).getInt());
65 "Z3Exception: Unknown symbol kind encountered.");
68 return new String(
"Z3Exception: " + ex.getMessage());
89 throw new Z3Exception(
"Unknown symbol kind encountered");
Symbol(Context ctx, long obj)
static final Z3_symbol_kind fromInt(int v)
static int getSymbolKind(long a0, long a1)