EmptySet.hpp

Go to the documentation of this file.

#ifndef ZONOOPT_EMPTYSET_HPP_
#define ZONOOPT_EMPTYSET_HPP_
 
#include "ConZono.hpp"
#include "Zono.hpp"
 
namespace ZonoOpt
{
    class EmptySet final : public ConZono
    {
    public:
        EmptySet() = default;
 
        explicit EmptySet(int n);
 
        HybZono* clone() const override;
 
        std::string print() const override;
 
        std::unique_ptr<ConZono> constraint_reduction() const override
        {
            return std::make_unique<EmptySet>(this->n);
        }
 
        std::unique_ptr<Zono> to_zono_approx() const override { throw std::runtime_error("to_zono_approx: EmptySet"); }
 
    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>* solution,
            const WarmStartParams&) const override;
 
        Eigen::Vector<zono_float, -1> do_project_point(const Eigen::Vector<zono_float, -1>&, const SolverSettings&,
                                                       std::shared_ptr<OptSolution>* solution,
                                                       const WarmStartParams&) const override;
 
        zono_float do_support(const Eigen::Vector<zono_float, -1>&, const SolverSettings&,
                              std::shared_ptr<OptSolution>* solution,
                              const WarmStartParams&) override;
 
        bool do_contains_point(const Eigen::Vector<zono_float, -1>&, 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;
 
        bool do_is_empty(const SolverSettings&, std::shared_ptr<OptSolution>* sol,
                         const WarmStartParams&) const override;
 
        std::unique_ptr<HybZono> do_complement(zono_float delta_m, bool, const SolverSettings&,
                                               std::shared_ptr<OptSolution>* sol,
                                               int, int) override;
 
    private:
        void make_default_solution(std::shared_ptr<OptSolution>* sol) const;
 
    };
}
 
#endif