```
public class Params
extends Z3Object
```
A ParameterSet represents a configuration in the form of Symbol/value pairs.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`add(Symbol name, boolean value)`	Adds a parameter setting.
`void`	`add(Symbol name, double value)`	Adds a parameter setting.
`void`	`add(Symbol name, Symbol value)`	Adds a parameter setting.
`void`	`add(Symbol name, String value)`	Adds a parameter setting.
`void`	`add(String name, boolean value)`	Adds a parameter setting.
`void`	`add(String name, double value)`	Adds a parameter setting.
`void`	`add(String name, int value)`	Adds a parameter setting.
`void`	`add(String name, Symbol value)`	Adds a parameter setting.
`void`	`add(String name, String value)`	Adds a parameter setting.
`String`	`toString()`	A string representation of the parameter set.

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

public void add(Symbol name,
                boolean value)

Adds a parameter setting.

public void add(Symbol name,
                double value)

Adds a parameter setting.

public void add(Symbol name,
                String value)

Adds a parameter setting.

public void add(Symbol name,
                Symbol value)

Adds a parameter setting.

public void add(String name,
                boolean value)

Adds a parameter setting.

public void add(String name,
                int value)

Adds a parameter setting.

public void add(String name,
                double value)

Adds a parameter setting.

public void add(String name,
                Symbol value)

Adds a parameter setting.

public void add(String name,
                String value)

Adds a parameter setting.

Class Params