Z3
Public Member Functions
ParamDescrs Class Reference
+ Inheritance diagram for ParamDescrs:

Public Member Functions

void validate (Params p)
 
Z3_param_kind getKind (Symbol name)
 
Symbol[] getNames ()
 
int size ()
 
String toString ()
 
- Public Member Functions inherited from Z3Object
void dispose ()
 
- Public Member Functions inherited from IDisposable
void dispose ()
 

Additional Inherited Members

- Protected Member Functions inherited from Z3Object
void finalize ()
 

Detailed Description

A ParamDescrs describes a set of parameters.

Definition at line 25 of file ParamDescrs.java.

Member Function Documentation

Z3_param_kind getKind ( Symbol  name)
inline

Retrieve kind of parameter.

Definition at line 40 of file ParamDescrs.java.

41  {
42 
43  return Z3_param_kind.fromInt(Native.paramDescrsGetKind(
44  getContext().nCtx(), getNativeObject(), name.getNativeObject()));
45  }
Z3_param_kind
The different kinds of parameters that can be associated with parameter sets. (see Z3_mk_params)...
Definition: z3_api.h:1239
Symbol [] getNames ( )
inline

Retrieve all names of parameters.

Exceptions
Z3Exception

Definition at line 52 of file ParamDescrs.java.

53  {
54  int sz = Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
55  Symbol[] names = new Symbol[sz];
56  for (int i = 0; i < sz; ++i)
57  {
58  names[i] = Symbol.create(getContext(), Native.paramDescrsGetName(
59  getContext().nCtx(), getNativeObject(), i));
60  }
61  return names;
62  }
int size ( )
inline

The size of the ParamDescrs.

Definition at line 67 of file ParamDescrs.java.

68  {
69  return Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
70  }
String toString ( )
inline

Retrieves a string representation of the ParamDescrs.

Definition at line 75 of file ParamDescrs.java.

76  {
77  try
78  {
79  return Native.paramDescrsToString(getContext().nCtx(), getNativeObject());
80  } catch (Z3Exception e)
81  {
82  return "Z3Exception: " + e.getMessage();
83  }
84  }
void validate ( Params  p)
inline

validate a set of parameters.

Definition at line 30 of file ParamDescrs.java.

31  {
32 
33  Native.paramsValidate(getContext().nCtx(), p.getNativeObject(),
34  getNativeObject());
35  }