Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
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 81 of file z3++.h.

Constructor & Destructor Documentation

config ( )
inline

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

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

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

{ Z3_del_config(m_cfg); }

Member Function Documentation

operator Z3_config ( ) const
inline

Definition at line 88 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 92 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 96 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 100 of file z3++.h.

{
std::ostringstream oss;
oss << value;
Z3_set_param_value(m_cfg, param, oss.str().c_str());
}