18 package com.microsoft.z3;
45 getNativeObject(), i));
52 value.getNativeObject());
84 .nCtx(), getNativeObject(), ctx.nCtx()));
97 return "Z3Exception: " + e.getMessage();
106 ASTVector(Context ctx)
108 super(ctx, Native.mkAstVector(ctx.nCtx()));
void set(int i, AST value)
static String astVectorToString(long a0, long a1)
static long astVectorTranslate(long a0, long a1, long a2)
static int astVectorSize(long a0, long a1)
IDecRefQueue getASTVectorDRQ()
void incAndClear(Context ctx, long o)
ASTVector translate(Context ctx)
static void astVectorSet(long a0, long a1, int a2, long a3)
static long astVectorGet(long a0, long a1, int a2)
static void astVectorPush(long a0, long a1, long a2)
static void astVectorResize(long a0, long a1, int a2)