18 package com.microsoft.z3;
44 getContext().nCtx(), getNativeObject(), name.getNativeObject()));
56 for (
int i = 0; i < sz; ++i)
59 getContext().nCtx(), getNativeObject(), i));
82 return "Z3Exception: " + e.getMessage();
static int paramDescrsGetKind(long a0, long a1, long a2)
IDecRefQueue getParamDescrsDRQ()
static void paramsValidate(long a0, long a1, long a2)
Z3_param_kind getKind(Symbol name)
void incAndClear(Context ctx, long o)
static String paramDescrsToString(long a0, long a1)
static final Z3_param_kind fromInt(int v)
static int paramDescrsSize(long a0, long a1)
static long paramDescrsGetName(long a0, long a1, int a2)