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;
 
        void constraint_reduction() override
        {
            /* do nothing */
        }
 
        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 OptSettings&, std::shared_ptr<OptSolution>* solution,
            const WarmStartParams&) const override;
 
        Eigen::Vector<zono_float, -1> do_project_point(const Eigen::Vector<zono_float, -1>&, const OptSettings&,
                                                       std::shared_ptr<OptSolution>* solution,
                                                       const WarmStartParams&) const override;
 
        zono_float do_support(const Eigen::Vector<zono_float, -1>&, const OptSettings&,
                              std::shared_ptr<OptSolution>* solution,
                              const WarmStartParams&) override;
 
        bool do_contains_point(const Eigen::Vector<zono_float, -1>&, const OptSettings&, std::shared_ptr<OptSolution>*,
                               const WarmStartParams&) const override;
 
        Box do_bounding_box(const OptSettings&, std::shared_ptr<OptSolution>*,
                            const WarmStartParams&) override;
 
        bool do_is_empty(const OptSettings&, std::shared_ptr<OptSolution>*,
                         const WarmStartParams&) const override;
 
        std::unique_ptr<HybZono> do_complement(zono_float delta_m, bool, const OptSettings&,
                                               std::shared_ptr<OptSolution>*,
                                               int, int) override;
    };
}
 
#endif