18 package com.microsoft.z3;
38 casted =
AST.class.cast(o);
39 }
catch (ClassCastException e)
48 (getContext().nCtx() == casted.getContext().nCtx()) &&
49 (
Native.
isEqAst(getContext().nCtx(), getNativeObject(), casted.getNativeObject()));
68 oAST =
AST.class.cast(other);
69 }
catch (ClassCastException e)
116 if (getContext() == ctx)
120 getNativeObject(), ctx.nCtx()));
208 return "Z3Exception: " + e.getMessage();
233 if (getContext() == null || o == 0)
242 if (getContext() == null || o == 0)
257 return Sort.create(ctx, obj);
261 return Expr.create(ctx, obj);
static final Z3_ast_kind fromInt(int v)
static int getAstId(long a0, long a1)
void incAndClear(Context ctx, long o)
AST translate(Context ctx)
static int getAstHash(long a0, long a1)
static int getAstKind(long a0, long a1)
static String astToString(long a0, long a1)
static boolean isEqAst(long a0, long a1, long a2)
static long translate(long a0, long a1, long a2)
int compareTo(Object other)