Zono.hpp

Go to the documentation of this file.

#ifndef ZONOOPT_ZONO_HPP_
#define ZONOOPT_ZONO_HPP_
 
#include "ConZono.hpp"
 
namespace ZonoOpt
{
    using namespace detail;
 
    class Zono : public ConZono
    {
    public:
        // constructors
        Zono() { sharp = true; }
 
        Zono(const Eigen::SparseMatrix<zono_float>& G, const Eigen::Vector<zono_float, -1>& c,
             const bool zero_one_form = false);
 
        // virtual destructor
        ~Zono() override = default;
 
        // set method
        void set(const Eigen::SparseMatrix<zono_float>& G, const Eigen::Vector<zono_float, -1>& c,
                 bool zero_one_form = false);
 
        HybZono* clone() const override;
 
        std::unique_ptr<Zono> reduce_order(int n_o);
 
        zono_float get_volume();
 
        Eigen::Vector<zono_float, -1> get_center();
 
        // generator conversion between [-1,1] and [0,1]
        void convert_form() override;
 
        // display methods
        std::string print() const override;
 
        std::unique_ptr<ConZono> constraint_reduction() const override
        {
            return std::make_unique<Zono>(*this);
        }
 
    protected:
        bool do_is_empty(const OptSettings&, std::shared_ptr<OptSolution>*, const WarmStartParams&) const override;
 
        Box do_bounding_box(const OptSettings&, std::shared_ptr<OptSolution>*, const WarmStartParams&) override;
 
        zono_float do_support(const Eigen::Vector<zono_float, -1>& d, const OptSettings&,
                              std::shared_ptr<OptSolution>*, const WarmStartParams&) override;
    };
 
    // forward declarations
    std::unique_ptr<Zono> interval_2_zono(const Box& box);
 
    std::unique_ptr<Zono> make_regular_zono_2D(zono_float radius, int n_sides, bool outer_approx = false,
                                               const Eigen::Vector<zono_float, 2>& c = Eigen::Vector<
                                                   zono_float, 2>::Zero());
} // namespace ZonoOpt
 
#endif