18 package com.microsoft.z3;
31 public static class Entry
extends Z3Object {
39 public Expr getValue()
41 return Expr.create(getContext(),
49 public int getNumArgs()
60 public Expr[] getArgs()
64 for (
int i = 0; i < n; i++)
66 getContext().nCtx(), getNativeObject(), i));
78 Expr[] args = getArgs();
79 for (
int i = 0; i < n; i++)
80 res += args[i] +
", ";
81 return res + getValue() +
"]";
94 void addToReferenceQueue() {
118 Entry[] res =
new Entry[n];
119 for (
int i = 0; i < n; i++)
121 .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() +
", ";
187 void addToReferenceQueue() {
static long funcInterpGetElse(long a0, long a1)
static int funcInterpGetNumEntries(long a0, long a1)
static long funcEntryGetValue(long a0, long a1)
IDecRefQueue< FuncInterp.Entry > getFuncEntryDRQ()
void storeReference(Context ctx, T obj)
static void funcInterpIncRef(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)
static void funcEntryIncRef(long a0, long a1)
IDecRefQueue< FuncInterp > getFuncInterpDRQ()
def String(name, ctx=None)