26 #ifndef CASADI_ARCHIVER_IMPL_HPP
27 #define CASADI_ARCHIVER_IMPL_HPP
29 #include "archiver.hpp"
30 #include "plugin_interface.hpp"
46 Archiver :
public PluginInterface<Archiver> {
48 typedef bool (* Unpack)(
const std::string& src,
49 const std::string& target_dir);
50 typedef bool (* UnpackFromStringStream)(std::stringstream& src,
51 const std::string& target_dir);
52 typedef bool (* Pack)(
const std::string& src_dir,
53 const std::string& path);
54 typedef bool (* PackToStream)(
const std::string& src_dir,
58 typedef Archiver* (*Creator)();
60 static const std::string meta_doc;
65 UnpackFromStringStream unpack_from_stringstream;
67 PackToStream pack_to_stream;
71 static std::map<std::string, Plugin> solvers_;
73 #ifdef CASADI_WITH_THREADSAFE_SYMBOLICS
74 static std::mutex mutex_solvers_;
78 static const std::string infix_;