#define XBT_FILE_HPP
#include <string>
+#include <vector>
#include <xbt/base.h>
namespace simgrid {
namespace xbt {
+void path_push(std::string const& str);
+void path_pop();
+FILE* path_fopen(const std::string& name, const char* mode);
+std::ifstream* path_ifsopen(const std::string& name);
+std::string path_to_string();
+
class Path {
public:
/** Build a path from the current working directory (CWD) */