18 package com.microsoft.z3;
40 return Expr.create(getContext(),
61 for (
int i = 0; i < n; i++)
63 getContext().nCtx(), getNativeObject(), i));
77 for (
int i = 0; i < n; i++)
78 res += args[i] +
", ";
82 return new String(
"Z3Exception: " + e.getMessage());
93 getContext().funcEntry_DRQ().incAndClear(getContext(), o);
97 void decRef(
long o)
throws Z3Exception
99 getContext().funcEntry_DRQ().add(o);
121 for (
int i = 0; i < n; i++)
123 .nCtx(), getNativeObject(), i));
134 return Expr.create(getContext(),
157 int n = e.getNumArgs();
161 for (
int i = 0; i < n; i++)
169 res +=
" -> " + e.getValue() +
", ";
176 return new String(
"Z3Exception: " + e.getMessage());
185 void incRef(
long o)
throws Z3Exception
187 getContext().funcInterp_DRQ().incAndClear(getContext(), o);
191 void decRef(
long o)
throws Z3Exception
193 getContext().funcInterp_DRQ().add(o);
static long funcInterpGetElse(long a0, long a1)
static int funcInterpGetNumEntries(long a0, long a1)
static long funcEntryGetValue(long a0, long a1)
static long funcEntryGetArg(long a0, long a1, int a2)
static int funcInterpGetArity(long a0, long a1)
static long funcInterpGetEntry(long a0, long a1, int a2)
static int funcEntryGetNumArgs(long a0, long a1)