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() +
", ";
183 Native.funcInterpIncRef(getContext().nCtx(), getNativeObject());
187 void addToReferenceQueue() {