ZonoJson.hpp

Go to the documentation of this file.

#ifndef ZONOOPT_ZONO_JSON_HPP__
#define ZONOOPT_ZONO_JSON_HPP__
 
#include <fstream>
#include <string>
#include "nlohmann/json.hpp"
#include "HybZono.hpp"
 
namespace ZonoOpt
{
    void to_json(const HybZono& Z, const std::string& filename);
 
    std::unique_ptr<HybZono> from_json(const std::string& filename);
 
namespace detail
{
    void sparse_to_json(const Eigen::SparseMatrix<zono_float>& mat, nlohmann::json& j);
    Eigen::SparseMatrix<zono_float> json_to_sparse(const nlohmann::json& j);
    Eigen::Vector<zono_float, -1> std_2_eigen(const std::vector<zono_float>& vec);
    std::vector<zono_float> eigen_2_std(const Eigen::Vector<zono_float, -1>& vec);
}
 
}
 
 
#endif