18 package com.microsoft.z3;
41 return Expr.create(getContext(),
64 for (
int i = 0; i < n; i++)
66 getContext().nCtx(), getNativeObject(), i));
80 for (
int i = 0; i < n; i++)
81 res += args[i] +
", ";
85 return new String(
"Z3Exception: " + e.getMessage());
127 for (
int i = 0; i < n; i++)
129 .nCtx(), getNativeObject(), i));
142 return Expr.create(getContext(),
167 int n = e.getNumArgs();
171 for (
int i = 0; i < n; i++)
179 res +=
" -> " + e.getValue() +
", ";
186 return new String(
"Z3Exception: " + e.getMessage());
static long funcInterpGetElse(long a0, long a1)
static int funcInterpGetNumEntries(long a0, long a1)
static long funcEntryGetValue(long a0, long a1)
IDecRefQueue getFuncInterpDRQ()
static long funcEntryGetArg(long a0, long a1, int a2)
void incAndClear(Context ctx, long o)
static int funcInterpGetArity(long a0, long a1)
static long funcInterpGetEntry(long a0, long a1, int a2)
static int funcEntryGetNumArgs(long a0, long a1)
IDecRefQueue getFuncEntryDRQ()