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);
        }
 
        // in-place operators (type-preserving overrides)
        using HybZono::operator+=;  // restore vector and box overloads hidden by declarations below
        using HybZono::operator*=;  // restore scalar overload hidden by declarations below
 
        void operator+=(Zono& other);
 
        void operator+=(HybZono& other) = delete;
 
        void operator*=(Zono& other);
 
        void operator*=(HybZono& other) = delete;
 
    protected:
        bool do_is_empty(const SolverSettings&, std::shared_ptr<OptSolution>* sol, const WarmStartParams&) const override;
 
        Box do_bounding_box(const SolverSettings&, std::shared_ptr<OptSolution>* sol, const WarmStartParams&) override;
 
        zono_float do_support(const Eigen::Vector<zono_float, -1>& d, const SolverSettings&,
                              std::shared_ptr<OptSolution>* sol, 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