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;
 
        // in-place operators (type-preserving overrides)
        using HybZono::operator+=;  // restore vector overload hidden by declarations below
        using HybZono::operator-=;  // restore vector overload hidden by declarations below
        using HybZono::operator*=;  // restore scalar overload hidden by declarations below
 
        void operator+=(Point& other);
 
        void operator+=(HybZono& other) = delete;
 
        void operator+=(const Box& box) = delete;
 
        void operator-=(Zono& other) = delete;
 
        void operator-=(const Box& box) = delete;
 
        void operator*=(Point& other);
 
        void operator*=(HybZono& other) = delete;
 
        void operator*=(const Box& box) = delete;
 
        // 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 SolverSettings&, std::shared_ptr<OptSolution>* sol,
            const WarmStartParams&) const override;
 
        Eigen::Vector<zono_float, -1> do_project_point(const Eigen::Vector<zono_float, -1>& x,
                                                       const SolverSettings&, std::shared_ptr<OptSolution>* sol,
                                                       const WarmStartParams&) const override;
 
        zono_float do_support(const Eigen::Vector<zono_float, -1>& d, const SolverSettings&,
                              std::shared_ptr<OptSolution>* sol, const WarmStartParams&) override;
 
        bool do_contains_point(const Eigen::Vector<zono_float, -1>& x, 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;
    
    private:
        void make_default_solution(std::shared_ptr<OptSolution>* sol) const;
    
    };
} // namespace ZonoOpt
 
#endif