18 package com.microsoft.z3;
44 getNativeObject(), i));
51 value.getNativeObject());
83 .nCtx(), getNativeObject(), ctx.nCtx()));
99 ASTVector(Context ctx)
101 super(ctx, Native.mkAstVector(ctx.nCtx()));
106 Native.astVectorIncRef(getContext().nCtx(), getNativeObject());
110 void addToReferenceQueue() {
121 for (
int i = 0; i < n; i++)
122 res[i] =
AST.create(getContext(),
get(i).getNativeObject());
132 for (
int i = 0; i < n; i++)
133 res[i] =
Expr.create(getContext(),
get(i).getNativeObject());
144 for (
int i = 0; i < n; i++)
145 res[i] = (
BoolExpr)
Expr.create(getContext(),
get(i).getNativeObject());
156 for (
int i = 0; i < n; i++)
157 res[i] = (
BitVecExpr)
Expr.create(getContext(),
get(i).getNativeObject());
168 for (
int i = 0; i < n; i++)
169 res[i] = (
ArithExpr)
Expr.create(getContext(),
get(i).getNativeObject());
180 for (
int i = 0; i < n; i++)
181 res[i] = (
ArrayExpr)
Expr.create(getContext(),
get(i).getNativeObject());
192 for (
int i = 0; i < n; i++)
204 for (
int i = 0; i < n; i++)
205 res[i] = (
FPExpr)
Expr.create(getContext(),
get(i).getNativeObject());
216 for (
int i = 0; i < n; i++)
217 res[i] = (
FPRMExpr)
Expr.create(getContext(),
get(i).getNativeObject());
228 for (
int i = 0; i < n; i++)
229 res[i] = (
IntExpr)
Expr.create(getContext(),
get(i).getNativeObject());
240 for (
int i = 0; i < n; i++)
241 res[i] = (
RealExpr)
Expr.create(getContext(),
get(i).getNativeObject());
IntExpr[] ToIntExprArray()
void set(int i, AST value)
DatatypeExpr[] ToDatatypeExprArray()
ArithExpr[] ToArithExprExprArray()
static String astVectorToString(long a0, long a1)
BoolExpr[] ToBoolExprArray()
static long astVectorTranslate(long a0, long a1, long a2)
RealExpr[] ToRealExprArray()
static int astVectorSize(long a0, long a1)
IDecRefQueue< ASTVector > getASTVectorDRQ()
ASTVector translate(Context ctx)
static void astVectorSet(long a0, long a1, int a2, long a3)
static long astVectorGet(long a0, long a1, int a2)
ArrayExpr[] ToArrayExprArray()
BitVecExpr[] ToBitVecExprArray()
static void astVectorPush(long a0, long a1, long a2)
static void astVectorResize(long a0, long a1, int a2)
FPRMExpr[] ToFPRMExprArray()