Point.hpp

Go to the documentation of this file.

#ifndef ZONOOPT_POINT_HPP_
#define ZONOOPT_POINT_HPP_
 
#include "Zono.hpp"
 
namespace ZonoOpt
{
    using namespace detail;
 
    class Point final : public Zono
    {
    public:
        // constructor
        Point() { sharp = true; }
 
        explicit Point(const Eigen::Vector<zono_float, -1>& c);
 
        // set method
        void set(const Eigen::Vector<zono_float, -1>& c);
 
        HybZono* clone() const override;
 
        // display methods
        std::string print() const override;
 
        // do nothing methods
        std::unique_ptr<HybZono> remove_redundancy(int) const override { return std::unique_ptr<HybZono>(this->clone()); }
 
        void convert_form() override
        {
            /* do nothing */
        }
 
        std::unique_ptr<ConZono> constraint_reduction() const override
        {
            return std::make_unique<Point>(*this);
        }
 
    protected:
        Eigen::Vector<zono_float, -1> do_optimize_over(
            const Eigen::SparseMatrix<zono_float>&, const Eigen::Vector<zono_float, -1>&, zono_float,
            const OptSettings&, std::shared_ptr<OptSolution>*,
            const WarmStartParams&) const override;
 
        Eigen::Vector<zono_float, -1> do_project_point(const Eigen::Vector<zono_float, -1>& x,
                                                       const OptSettings&, std::shared_ptr<OptSolution>*,
                                                       const WarmStartParams&) const override;
 
        zono_float do_support(const Eigen::Vector<zono_float, -1>& d, const OptSettings&,
                              std::shared_ptr<OptSolution>*, const WarmStartParams&) override;
 
        bool do_contains_point(const Eigen::Vector<zono_float, -1>& x, const OptSettings&,
                               std::shared_ptr<OptSolution>*, const WarmStartParams&) const override;
 
        Box do_bounding_box(const OptSettings&, std::shared_ptr<OptSolution>*, const WarmStartParams&) override;
    };
} // namespace ZonoOpt
 
#endif