- int xbt_cfg_get_int (xbt_cfg_t cfg, const char *name);
- double xbt_cfg_get_double(xbt_cfg_t cfg, const char *name);
- char* xbt_cfg_get_string(xbt_cfg_t cfg, const char *name);
- void xbt_cfg_get_host (xbt_cfg_t cfg, const char *name, char **host, int *port);
- xbt_dynar_t xbt_cfg_get_dynar (xbt_cfg_t cfg, const char *name);
-
- int xbt_cfg_get_int_at (xbt_cfg_t cfg, const char *name, int pos);
- double xbt_cfg_get_double_at(xbt_cfg_t cfg, const char *name, int pos);
- char* xbt_cfg_get_string_at(xbt_cfg_t cfg, const char *name, int pos);
- void xbt_cfg_get_host_at (xbt_cfg_t cfg, const char *name, int pos, char **host, int *port);
+XBT_PUBLIC(int) xbt_cfg_get_int(const char *name);
+XBT_PUBLIC(double) xbt_cfg_get_double(const char *name);
+XBT_PUBLIC(char *) xbt_cfg_get_string(const char *name);
+XBT_PUBLIC(int) xbt_cfg_get_boolean(const char *name);