Package com.microsoft.z3

Class Params

java.lang.Object

com.microsoft.z3.Z3Object

com.microsoft.z3.Params

public class Params
extends Z3Object

A ParameterSet represents a configuration in the form of Symbol/value pairs.

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

add

public void add(Symbol name,
 boolean value)

Adds a parameter setting.

add

public void add(Symbol name,
 double value)

Adds a parameter setting.

add

public void add(Symbol name,
 String value)

Adds a parameter setting.

add

public void add(Symbol name,
 Symbol value)

Adds a parameter setting.

add

public void add(String name,
 boolean value)

Adds a parameter setting.

add

public void add(String name,
 int value)

Adds a parameter setting.

add

public void add(String name,
 double value)

Adds a parameter setting.

add

public void add(String name,
 Symbol value)

Adds a parameter setting.

add

public void add(String name,
 String value)

Adds a parameter setting.

toString

public String toString()

A string representation of the parameter set.

Overrides:

toString in class Object