archiver.hpp
1 /*
2  * This file is part of CasADi.
3  *
4  * CasADi -- A symbolic framework for dynamic optimization.
5  * Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
6  * KU Leuven. All rights reserved.
7  * Copyright (C) 2011-2014 Greg Horn
8  *
9  * CasADi is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public
11  * License as published by the Free Software Foundation; either
12  * version 3 of the License, or (at your option) any later version.
13  *
14  * CasADi is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with CasADi; if not, write to the Free Software
21  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
22  *
23  */
24 
25 
26 #ifndef CASADI_ARCHIVER_HPP
27 #define CASADI_ARCHIVER_HPP
28 
29 #include <casadi/core/casadi_export.h>
30 #include <string>
31 
32 namespace casadi {
33 
47  CASADI_EXPORT bool has_archiver(const std::string& name);
48 
50  CASADI_EXPORT void load_archiver(const std::string& name);
51 
53  CASADI_EXPORT std::string doc_archiver(const std::string& name);
54 
55 } // namespace casadi
56 
57 
58 #endif // CASADI_ARCHIVER_HPP
The casadi namespace.
Definition: archiver.hpp:32
CASADI_EXPORT std::string doc_archiver(const std::string &name)
Get the documentation string for a plugin.
CASADI_EXPORT bool has_archiver(const std::string &name)
Check if a particular plugin is available.
CASADI_EXPORT void load_archiver(const std::string &name)
Explicitly load a plugin dynamically.