Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions
config Class Reference

Z3 global configuration object. More...

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 93 of file z3++.h.


Constructor & Destructor Documentation

config ( ) [inline]

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

{ m_cfg = Z3_mk_config(); }
~config ( ) [inline]

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

{ Z3_del_config(m_cfg); }

Member Function Documentation

operator Z3_config ( ) const [inline]

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

{ return m_cfg; }
void set ( char const *  param,
char const *  value 
) [inline]

Set global parameter param with string value.

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

{ Z3_set_param_value(m_cfg, param, value); }
void set ( char const *  param,
bool  value 
) [inline]

Set global parameter param with Boolean value.

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

{ Z3_set_param_value(m_cfg, param, value ? "true" : "false"); }
void set ( char const *  param,
int  value 
) [inline]

Set global parameter param with integer value.

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

                                                { 
            std::ostringstream oss;
            oss << value;
            Z3_set_param_value(m_cfg, param, oss.str().c_str());
        }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines