18 package com.microsoft.z3;
44 getNativeObject(), i));
47 public void set(
int i,
AST value)
51 value.getNativeObject());
83 .nCtx(), getNativeObject(), ctx.nCtx()));
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()
static long mkAstVector(long a0)
DatatypeExpr [] ToDatatypeExprArray()
static void astVectorIncRef(long a0, long a1)
ArithExpr [] ToArithExprExprArray()
static String astVectorToString(long a0, long a1)
FPExpr [] ToFPExprArray()
BoolExpr [] ToBoolExprArray()
void storeReference(Context ctx, T obj)
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()
def String(name, ctx=None)