18package com.microsoft.z3;
44 getNativeObject(), i));
47 public void set(
int i,
AST value)
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());
BoolExpr[] ToBoolExprArray()
BitVecExpr[] ToBitVecExprArray()
RealExpr[] ToRealExprArray()
FPRMExpr[] ToFPRMExprArray()
ArrayExpr[] ToArrayExprArray()
DatatypeExpr[] ToDatatypeExprArray()
IntExpr[] ToIntExprArray()
ArithExpr[] ToArithExprExprArray()
ASTVector translate(Context ctx)
IDecRefQueue< ASTVector > getASTVectorDRQ()
void storeReference(Context ctx, T obj)
static long astVectorTranslate(long a0, long a1, long a2)
static String astVectorToString(long a0, long a1)
static long astVectorGet(long a0, long a1, int a2)
static void astVectorPush(long a0, long a1, long a2)
static int astVectorSize(long a0, long a1)
static void astVectorSet(long a0, long a1, int a2, long a3)
static void astVectorResize(long a0, long a1, int a2)
def String(name, ctx=None)