com.microsoft.z3

Class Params

java.lang.Object

com.microsoft.z3.IDisposable

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

Methods

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

Methods inherited from class com.microsoft.z3.Z3Object

dispose, finalize

Methods inherited from class java.lang.Object

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

Method Detail

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,
       java.lang.String value)

Adds a parameter setting.

add

public void add(Symbol name,
       Symbol value)

Adds a parameter setting.

add

public void add(java.lang.String name,
       boolean value)

Adds a parameter setting.

add

public void add(java.lang.String name,
       int value)

Adds a parameter setting.

add

public void add(java.lang.String name,
       double value)

Adds a parameter setting.

add

public void add(java.lang.String name,
       Symbol value)

Adds a parameter setting.

add

public void add(java.lang.String name,
       java.lang.String value)

Adds a parameter setting.

toString

public java.lang.String toString()

A string representation of the parameter set.

Overrides:

toString in class java.lang.Object