Params Class Reference

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

Inheritance diagram for Params:

Data Structures
class	DecRefQueue

Public Member Functions
void	Add (Symbol name, bool value)
	Adds a parameter setting.
void	Add (Symbol name, uint 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 (string name, bool value)
	Adds a parameter setting.
void	Add (string name, uint value)
	Adds a parameter setting.
void	Add (string name, double value)
	Adds a parameter setting.
void	Add (string name, Symbol value)
	Adds a parameter setting.
override string	ToString ()
	A string representation of the parameter set.
Public Member Functions inherited from Z3Object
void	Dispose ()
	Disposes of the underlying native Z3 object.

Detailed Description

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

Definition at line 29 of file Params.cs.

Member Function Documentation

void Add ( Symbol  name, bool  value  )

inline

Adds a parameter setting.

Definition at line 34 of file Params.cs.

        {
            Contract.Requires(name != null);

            Native.Z3_params_set_bool(Context.nCtx, NativeObject, name.NativeObject, (value) ? 1 : 0);
        }

void Add ( Symbol  name, uint  value  )

inline

Adds a parameter setting.

Definition at line 44 of file Params.cs.

        {
            Contract.Requires(name != null);

            Native.Z3_params_set_uint(Context.nCtx, NativeObject, name.NativeObject, value);
        }

void Add ( Symbol  name, double  value  )

inline

Adds a parameter setting.

Definition at line 54 of file Params.cs.

        {
            Contract.Requires(name != null);
            
            Native.Z3_params_set_double(Context.nCtx, NativeObject, name.NativeObject, value);
        }

void Add ( Symbol  name, Symbol  value  )

inline

Adds a parameter setting.

Definition at line 64 of file Params.cs.

        {
            Contract.Requires(name != null);
            Contract.Requires(value != null);

            Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, value.NativeObject);
        }

void Add ( string  name, bool  value  )

inline

Adds a parameter setting.

Definition at line 75 of file Params.cs.

        {
            Native.Z3_params_set_bool(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, (value) ? 1 : 0);
        }

void Add ( string  name, uint  value  )

inline

Adds a parameter setting.

Definition at line 83 of file Params.cs.

        {
            Native.Z3_params_set_uint(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
        }

void Add ( string  name, double  value  )

inline

Adds a parameter setting.

Definition at line 91 of file Params.cs.

        {
            Native.Z3_params_set_double(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
        }

void Add ( string  name, Symbol  value  )

inline

Adds a parameter setting.

Definition at line 99 of file Params.cs.

        {
            Contract.Requires(value != null);

            Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value.NativeObject);
        }

override string ToString ( )

inline

A string representation of the parameter set.

Definition at line 109 of file Params.cs.

        {
            return Native.Z3_params_to_string(Context.nCtx, NativeObject);
        }