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();
 
        // generator conversion between [-1,1] and [0,1]
        void convert_form() override;
 
        // display methods
        std::string print() const override;
 
    protected:
 
        bool do_is_empty(const OptSettings&, OptSolution*) const override;
 
        Box do_bounding_box(const OptSettings&, OptSolution*) override;
 
        zono_float do_support(const Eigen::Vector<zono_float, -1>& d, const OptSettings&,
            OptSolution*) 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