Params Class Reference

Inheritance diagram for Params:

Public Member Functions
void	add (Symbol name, boolean value) throws Z3Exception
void	add (Symbol name, double value) throws Z3Exception
void	add (Symbol name, String value) throws Z3Exception
void	add (Symbol name, Symbol value) throws Z3Exception
void	add (String name, boolean value) throws Z3Exception
void	add (String name, int value) throws Z3Exception
void	add (String name, double value) throws Z3Exception
void	add (String name, Symbol value) throws Z3Exception
void	add (String name, String value) throws Z3Exception
String	toString ()
Package Functions
	Params (Context ctx) throws Z3Exception
void	incRef (long o) throws Z3Exception
void	decRef (long o) throws Z3Exception

---

Detailed Description

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

Definition at line 24 of file Params.java.

---

Constructor & Destructor Documentation

Params

(

Context

ctx

)

throws Z3Exception [inline, package]

Definition at line 126 of file Params.java.

    {
        super(ctx, Native.mkParams(ctx.nCtx()));
    }

---

Member Function Documentation

void add	(	Symbol	name,
		boolean	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 29 of file Params.java.

    {
        Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
                name.getNativeObject(), (value) ? true : false);
    }

void add	(	Symbol	name,
		double	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 38 of file Params.java.

    {
        Native.paramsSetDouble(getContext().nCtx(), getNativeObject(),
                name.getNativeObject(), value);
    }

void add	(	Symbol	name,
		String	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 47 of file Params.java.

    {

        Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
                name.getNativeObject(), 
                getContext().mkSymbol(value).getNativeObject());
    }

void add	(	Symbol	name,
		Symbol	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 58 of file Params.java.

    {

        Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
                name.getNativeObject(), value.getNativeObject());
    }

void add	(	String	name,
		boolean	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 68 of file Params.java.

    {
        Native.paramsSetBool(getContext().nCtx(), getNativeObject(), 
                getContext().mkSymbol(name).getNativeObject(), value);
    }

void add	(	String	name,
		int	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 77 of file Params.java.

    {
        Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext()
                .mkSymbol(name).getNativeObject(), value);
    }

void add	(	String	name,
		double	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 86 of file Params.java.

    {
        Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext()
                .mkSymbol(name).getNativeObject(), value);
    }

void add	(	String	name,
		Symbol	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 95 of file Params.java.

    {
        Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext()
                .mkSymbol(name).getNativeObject(), value.getNativeObject());
    }

void add	(	String	name,
		String	value
	)		throws Z3Exception [inline]

Adds a parameter setting.

Definition at line 104 of file Params.java.

    {

        Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
                getContext().mkSymbol(name).getNativeObject(),
                getContext().mkSymbol(value).getNativeObject());
    }

void decRef

(

long

o

)

throws Z3Exception [inline, package]

Reimplemented from Z3Object.

Definition at line 137 of file Params.java.

    {
        getContext().params_DRQ().add(o);
        super.decRef(o);
    }

void incRef

(

long

o

)

throws Z3Exception [inline, package]

Reimplemented from Z3Object.

Definition at line 131 of file Params.java.

    {
        getContext().params_DRQ().incAndClear(getContext(), o);
        super.incRef(o);
    }

String toString

(

)

[inline]

A string representation of the parameter set.

Definition at line 115 of file Params.java.

    {
        try
        {
            return Native.paramsToString(getContext().nCtx(), getNativeObject());
        } catch (Z3Exception e)
        {
            return "Z3Exception: " + e.getMessage();
        }
    }