Go to the documentation of this file.
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());
ArrayExpr[] ToArrayExprArray()
static String astVectorToString(long a0, long a1)
static void astVectorResize(long a0, long a1, int a2)
IDecRefQueue< ASTVector > getASTVectorDRQ()
static long mkAstVector(long a0)
static long astVectorGet(long a0, long a1, int a2)
void storeReference(Context ctx, T obj)
BitVecExpr[] ToBitVecExprArray()
ArithExpr[] ToArithExprExprArray()
static long astVectorTranslate(long a0, long a1, long a2)
static int astVectorSize(long a0, long a1)
ASTVector(Context ctx, long obj)
FPRMExpr[] ToFPRMExprArray()
static void astVectorSet(long a0, long a1, int a2, long a3)
static void astVectorIncRef(long a0, long a1)
RealExpr[] ToRealExprArray()
IntExpr[] ToIntExprArray()
DatatypeExpr[] ToDatatypeExprArray()
static void astVectorPush(long a0, long a1, long a2)
ASTVector translate(Context ctx)
BoolExpr[] ToBoolExprArray()
def String(name, ctx=None)