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();
91 void incRef(
long o)
throws Z3Exception
93 getContext().paramDescrs_DRQ().incAndClear(getContext(), o);
97 void decRef(
long o)
throws Z3Exception
99 getContext().paramDescrs_DRQ().add(o);
static int paramDescrsGetKind(long a0, long a1, long a2)
static void paramsValidate(long a0, long a1, long a2)
Z3_param_kind getKind(Symbol name)
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)