18 package com.microsoft.z3;
45 getNativeObject(), i));
48 public void set(
int i,
AST value)
52 value.getNativeObject());
84 .nCtx(), getNativeObject(), ctx.nCtx()));
97 return "Z3Exception: " + e.getMessage();
130 for (
int i = 0; i < n; i++)
131 res[i] =
AST.create(getContext(),
get(i).getNativeObject());
141 for (
int i = 0; i < n; i++)
142 res[i] =
Expr.create(getContext(),
get(i).getNativeObject());
153 for (
int i = 0; i < n; i++)
154 res[i] = (
BoolExpr)
Expr.create(getContext(),
get(i).getNativeObject());
165 for (
int i = 0; i < n; i++)
166 res[i] = (
BitVecExpr)
Expr.create(getContext(),
get(i).getNativeObject());
177 for (
int i = 0; i < n; i++)
178 res[i] = (
ArithExpr)
Expr.create(getContext(),
get(i).getNativeObject());
189 for (
int i = 0; i < n; i++)
190 res[i] = (
ArrayExpr)
Expr.create(getContext(),
get(i).getNativeObject());
201 for (
int i = 0; i < n; i++)
213 for (
int i = 0; i < n; i++)
214 res[i] = (
FPExpr)
Expr.create(getContext(),
get(i).getNativeObject());
225 for (
int i = 0; i < n; i++)
226 res[i] = (
FPRMExpr)
Expr.create(getContext(),
get(i).getNativeObject());
237 for (
int i = 0; i < n; i++)
238 res[i] = (
IntExpr)
Expr.create(getContext(),
get(i).getNativeObject());
249 for (
int i = 0; i < n; i++)
250 res[i] = (
RealExpr)
Expr.create(getContext(),
get(i).getNativeObject());
IntExpr[] ToIntExprArray()
static long mkAstVector(long a0)
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 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)
ArrayExpr[] ToArrayExprArray()
BitVecExpr[] ToBitVecExprArray()
static void astVectorPush(long a0, long a1, long a2)
static void astVectorResize(long a0, long a1, int a2)
FPRMExpr[] ToFPRMExprArray()