18package com.microsoft.z3;
20import com.microsoft.z3.enumerations.Z3_param_kind;
32 Native.paramsValidate(getContext().nCtx(), p.getNativeObject(),
43 getContext().nCtx(), getNativeObject(), name.getNativeObject()));
52 return Native.paramDescrsGetDocumentation(getContext().nCtx(), getNativeObject(), name.getNativeObject());
62 int sz = Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
64 for (
int i = 0; i < sz; ++i)
66 names[i] =
Symbol.create(getContext(), Native.paramDescrsGetName(
67 getContext().nCtx(), getNativeObject(), i));
77 return Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
85 return Native.paramDescrsToString(getContext().nCtx(), getNativeObject());
95 Native.paramDescrsIncRef(getContext().nCtx(), getNativeObject());
99 void addToReferenceQueue() {
IDecRefQueue< ParamDescrs > getParamDescrsDRQ()
void storeReference(Context ctx, T obj)
String getDocumentation(Symbol name)
Z3_param_kind getKind(Symbol name)
def String(name, ctx=None)
Z3_param_kind
The different kinds of parameters that can be associated with parameter sets. (see Z3_mk_params).