A ParamDescrs describes a set of parameters.
More...
A ParamDescrs describes a set of parameters.
Definition at line 28 of file ParamDescrs.cs.
◆ GetDocumentation()
string GetDocumentation |
( |
Symbol |
name | ) |
|
|
inline |
Retrieve documentation of parameter.
Definition at line 51 of file ParamDescrs.cs.
52 {
53 Debug.Assert(name != null);
54 return Native.Z3_param_descrs_get_documentation(
Context.nCtx, NativeObject, name.NativeObject);
55 }
Context Context
Access Context object
◆ GetKind()
Retrieve kind of parameter.
Definition at line 42 of file ParamDescrs.cs.
43 {
44 Debug.Assert(name != null);
45 return (
Z3_param_kind)Native.Z3_param_descrs_get_kind(
Context.nCtx, NativeObject, name.NativeObject);
46 }
Z3_param_kind
The different kinds of parameters that can be associated with parameter sets. (see Z3_mk_params).
◆ ToString()
override string ToString |
( |
| ) |
|
|
inline |
Retrieves a string representation of the ParamDescrs.
Definition at line 84 of file ParamDescrs.cs.
85 {
86 return Native.Z3_param_descrs_to_string(
Context.nCtx, NativeObject);
87 }
◆ Validate()
validate a set of parameters.
Definition at line 33 of file ParamDescrs.cs.
34 {
35 Debug.Assert(p != null);
36 Native.Z3_params_validate(
Context.nCtx, p.NativeObject, NativeObject);
37 }
◆ Names
Retrieve all names of parameters.
Definition at line 60 of file ParamDescrs.cs.
61 {
62 get
63 {
64 uint sz = Native.Z3_param_descrs_size(
Context.nCtx, NativeObject);
65 Symbol[] names = new Symbol[sz];
66 for (uint i = 0; i < sz; ++i) {
67 names[i] = Symbol.Create(
Context, Native.Z3_param_descrs_get_name(
Context.nCtx, NativeObject, i));
68 }
69 return names;
70 }
71 }
◆ Size