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 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.
Referenced by ParamDescrsRef.__len__(), Goal.__len__(), BitVecNumRef.as_signed_long(), and BitVecSortRef.subsort().
|
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.