Z3
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. More...
 
void set (char const *param, bool value)
 Set global parameter param with Boolean value. More...
 
void set (char const *param, int value)
 Set global parameter param with integer value. More...
 

Detailed Description

Z3 global configuration object.

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

Constructor & Destructor Documentation

§ config()

config ( )
inline

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

99 { m_cfg = Z3_mk_config(); }
Z3_config Z3_API Z3_mk_config(void)
Create a configuration object for the Z3 context object.

§ ~config()

~config ( )
inline

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

100 { Z3_del_config(m_cfg); }
void Z3_API Z3_del_config(Z3_config c)
Delete the given configuration object.

Member Function Documentation

§ operator Z3_config()

operator Z3_config ( ) const
inline

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

101 { return m_cfg; }

§ set() [1/3]

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

Set global parameter param with string value.

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

105 { Z3_set_param_value(m_cfg, param, value); }
void Z3_API Z3_set_param_value(Z3_config c, Z3_string param_id, Z3_string param_value)
Set a configuration parameter.

§ set() [2/3]

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

Set global parameter param with Boolean value.

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

109 { Z3_set_param_value(m_cfg, param, value ? "true" : "false"); }
void Z3_API Z3_set_param_value(Z3_config c, Z3_string param_id, Z3_string param_value)
Set a configuration parameter.

§ set() [3/3]

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

Set global parameter param with integer value.

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

113  {
114  std::ostringstream oss;
115  oss << value;
116  Z3_set_param_value(m_cfg, param, oss.str().c_str());
117  }
void Z3_API Z3_set_param_value(Z3_config c, Z3_string param_id, Z3_string param_value)
Set a configuration parameter.