A ParamDescrs describes a set of parameters.
Definition at line 25 of file ParamDescrs.java.
Retrieve kind of parameter.
Definition at line 40 of file ParamDescrs.java.
44 getContext().nCtx(), getNativeObject(), name.getNativeObject()));
Z3_param_kind
The different kinds of parameters that can be associated with parameter sets. (see Z3_mk_params)...
Retrieve all names of parameters.
- Exceptions
-
Definition at line 52 of file ParamDescrs.java.
54 int sz = Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
55 Symbol[] names =
new Symbol[sz];
56 for (
int i = 0; i < sz; ++i)
58 names[i] = Symbol.create(getContext(), Native.paramDescrsGetName(
59 getContext().nCtx(), getNativeObject(), i));
The size of the ParamDescrs.
Definition at line 67 of file ParamDescrs.java.
69 return Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
Retrieves a string representation of the ParamDescrs.
Definition at line 75 of file ParamDescrs.java.
79 return Native.paramDescrsToString(getContext().nCtx(), getNativeObject());
80 }
catch (Z3Exception e)
82 return "Z3Exception: " + e.getMessage();
validate a set of parameters.
Definition at line 30 of file ParamDescrs.java.
33 Native.paramsValidate(getContext().nCtx(), p.getNativeObject(),