26 #ifndef CASADI_RESOURCE_HPP
27 #define CASADI_RESOURCE_HPP
29 #include "shared_object.hpp"
30 #include "printable.hpp"
31 #include "generic_type.hpp"
35 class ResourceInternal;
36 class SerializingStream;
37 class DeserializingStream;
44 public SWIG_IF_ELSE(PrintableCommon, Printable<Resource>) {
83 const std::string&
path()
const;
96 void change_option(
const std::string& option_name,
Helper class for Serialization.
Generic data type, can hold different types such as bool, casadi_int, std::string etc.
RAII class base for reading from resources.
RAII class for reading from a zip file.
static std::string type_name()
Readable name of the public class.
Helper class for Serialization.
GenericShared implements a reference counting framework similar for efficient and.
std::vector< casadi_int > path(const std::vector< casadi_int > &map, casadi_int i_start)