A ParamDescrs describes a set of parameters. More...
Data Structures | |
class | DecRefQueue |
Public Member Functions | |
void | Validate (Params p) |
validate a set of parameters. More... | |
Z3_param_kind | GetKind (Symbol name) |
Retrieve kind of parameter. More... | |
string | GetDocumentation (Symbol name) |
Retrieve documentation of parameter. More... | |
override string | ToString () |
Retrieves a string representation of the ParamDescrs. More... | |
![]() | |
void | Dispose () |
Disposes of the underlying native Z3 object. More... | |
Properties | |
Symbol [] | Names [get] |
Retrieve all names of parameters. More... | |
uint | Size [get] |
The size of the ParamDescrs. More... | |
A ParamDescrs describes a set of parameters.
Definition at line 29 of file ParamDescrs.cs.
|
inline |
Retrieve documentation of parameter.
Definition at line 52 of file ParamDescrs.cs.
|
inline |
Retrieve kind of parameter.
Definition at line 43 of file ParamDescrs.cs.
|
inline |
Retrieves a string representation of the ParamDescrs.
Definition at line 85 of file ParamDescrs.cs.
|
inline |
validate a set of parameters.
Definition at line 34 of file ParamDescrs.cs.
|
get |
Retrieve all names of parameters.
Definition at line 62 of file ParamDescrs.cs.
|
get |
The size of the ParamDescrs.
Definition at line 78 of file ParamDescrs.cs.