Public Member Functions | |
void | validate (Params p) |
Z3_param_kind | getKind (Symbol name) |
String | getDocumentation (Symbol name) |
Symbol [] | getNames () |
int | size () |
String | toString () |
A ParamDescrs describes a set of parameters.
Definition at line 25 of file ParamDescrs.java.
|
inline |
Retrieve documentation of parameter.
Definition at line 50 of file ParamDescrs.java.
|
inline |
Retrieve kind of parameter.
Definition at line 39 of file ParamDescrs.java.
|
inline |
Retrieve all names of parameters.
Z3Exception |
Definition at line 60 of file ParamDescrs.java.
|
inline |
The size of the ParamDescrs.
Definition at line 75 of file ParamDescrs.java.
|
inline |
Retrieves a string representation of the ParamDescrs.
Definition at line 84 of file ParamDescrs.java.
|
inline |
validate a set of parameters.
Definition at line 29 of file ParamDescrs.java.