Public Member Functions | |
void | validate (Params p) |
Z3_param_kind | getKind (Symbol name) |
String | getDocumentation (Symbol name) |
Symbol[] | getNames () |
int | size () |
String | toString () |
Additional Inherited Members | |
Static Public Member Functions inherited from Z3Object | |
static long[] | arrayToNative (Z3Object[] a) |
static int | arrayLength (Z3Object[] a) |
A ParamDescrs describes a set of parameters.
Definition at line 27 of file ParamDescrs.java.
|
inline |
Retrieve documentation of parameter.
Definition at line 52 of file ParamDescrs.java.
|
inline |
Retrieve kind of parameter.
Definition at line 41 of file ParamDescrs.java.
|
inline |
Retrieve all names of parameters.
Z3Exception |
Definition at line 62 of file ParamDescrs.java.
|
inline |
The size of the ParamDescrs.
Definition at line 77 of file ParamDescrs.java.
Referenced by ParamDescrsRef.__len__(), Goal.__len__(), BitVecNumRef.as_signed_long(), and BitVecSortRef.subsort().
|
inline |
Retrieves a string representation of the ParamDescrs.
Definition at line 86 of file ParamDescrs.java.
|
inline |
validate a set of parameters.
Definition at line 31 of file ParamDescrs.java.