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