config Class Reference

Z3 global configuration object. More...

#include <z3++.h>

Public Member Functions
	config ()
	~config ()
	operator Z3_config () const
void	set (char const *param, char const *value)
	Set global parameter param with string value.
void	set (char const *param, bool value)
	Set global parameter param with Boolean value.
void	set (char const *param, int value)
	Set global parameter param with integer value.

Detailed Description

Z3 global configuration object.

Definition at line 110 of file z3++.h.

Constructor & Destructor Documentation

config()

config ( )

inline

Definition at line 115 of file z3++.h.

{ m_cfg = Z3_mk_config(); }

~config()

~config ( )

inline

Definition at line 116 of file z3++.h.

{ Z3_del_config(m_cfg); }

Member Function Documentation

operator Z3_config()

operator Z3_config ( ) const

inline

Definition at line 117 of file z3++.h.

{ return m_cfg; }

set() [1/3]

void set ( char const *  param, bool  value  )

inline

Set global parameter param with Boolean value.

Definition at line 125 of file z3++.h.

{ Z3_set_param_value(m_cfg, param, value ? "true" : "false"); }

set() [2/3]

void set ( char const *  param, char const *  value  )

inline

Set global parameter param with string value.

Definition at line 121 of file z3++.h.

{ Z3_set_param_value(m_cfg, param, value); }

set() [3/3]

void set ( char const *  param, int  value  )

inline

Set global parameter param with integer value.

Definition at line 129 of file z3++.h.

                                                {
            auto str = std::to_string(value);
            Z3_set_param_value(m_cfg, param, str.c_str());
        }