18package com.microsoft.z3;
20import com.microsoft.z3.enumerations.Z3_param_kind;
43 getContext().nCtx(), getNativeObject(), name.getNativeObject()));
64 for (
int i = 0; i < sz; ++i)
67 getContext().nCtx(), getNativeObject(), i));
95 Native.paramDescrsIncRef(getContext().nCtx(), getNativeObject());
99 void addToReferenceQueue() {
IDecRefQueue< ParamDescrs > getParamDescrsDRQ()
void storeReference(Context ctx, T obj)
static long paramDescrsGetName(long a0, long a1, int a2)
static void paramsValidate(long a0, long a1, long a2)
static int paramDescrsSize(long a0, long a1)
static String paramDescrsToString(long a0, long a1)
static String paramDescrsGetDocumentation(long a0, long a1, long a2)
static int paramDescrsGetKind(long a0, long a1, long a2)
String getDocumentation(Symbol name)
Z3_param_kind getKind(Symbol name)
static final Z3_param_kind fromInt(int v)
def String(name, ctx=None)