Params Class Reference

Inheritance diagram for Params:

Public Member Functions
void	add (Symbol name, boolean value)
void	add (Symbol name, double value)
void	add (Symbol name, String value)
void	add (Symbol name, Symbol value)
void	add (String name, boolean value)
void	add (String name, int value)
void	add (String name, double value)
void	add (String name, Symbol value)
void	add (String name, String value)
String	toString ()
Public Member Functions inherited from Z3Object
void	dispose ()
Public Member Functions inherited from IDisposable
void	dispose ()

Additional Inherited Members
Protected Member Functions inherited from Z3Object
void	finalize ()

Detailed Description

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

Definition at line 24 of file Params.java.

Member Function Documentation

void add ( Symbol  name, boolean  value  )

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  )

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  )

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  )

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  )

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  )

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  )

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  )

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  )

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());
    }

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();
        }
    }