ParamDescrs (z3-turnkey 4.10.1 API)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.ParamDescrs

public class ParamDescrs
extends Z3Object

A ParamDescrs describes a set of parameters.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`String`	`getDocumentation(Symbol name)`	Retrieve documentation of parameter.
`Z3_param_kind`	`getKind(Symbol name)`	Retrieve kind of parameter.
`Symbol[]`	`getNames()`	Retrieve all names of parameters.
`int`	`size()`	The size of the ParamDescrs.
`String`	`toString()`	Retrieves a string representation of the ParamDescrs.
`void`	`validate(Params p)`	validate a set of parameters.

Methods inherited from class com.microsoft.z3.Z3Object
arrayLength, arrayToNative

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - validate
```
public void validate(Params p)
```
    validate a set of parameters.
  - getKind
```
public Z3_param_kind getKind(Symbol name)
```
    Retrieve kind of parameter.
  - getDocumentation
```
public String getDocumentation(Symbol name)
```
    Retrieve documentation of parameter.
  - getNames
```
public Symbol[] getNames()
```
    Retrieve all names of parameters.
    
    Throws:
    
    Z3Exception
  - size
```
public int size()
```
    The size of the ParamDescrs.
  - toString
```
public String toString()
```
    Retrieves a string representation of the ParamDescrs.
    
    Overrides:
    
    toString in class Object