ZonoOpt 2.2.0
Loading...
Searching...
No Matches
Point.hpp
Go to the documentation of this file.
1#ifndef ZONOOPT_POINT_HPP_
2#define ZONOOPT_POINT_HPP_
3
15#include "Zono.hpp"
16
17namespace ZonoOpt
18{
19 using namespace detail;
20
26 class Point final : public Zono
27 {
28 public:
29 // constructor
34 Point() { sharp = true; }
35
41 explicit Point(const Eigen::Vector<zono_float, -1>& c);
42
43 // set method
49 void set(const Eigen::Vector<zono_float, -1>& c);
50
51 HybZono* clone() const override;
52
53 // display methods
54 std::string print() const override;
55
56 // do nothing methods
57 bool remove_redundancy(int) override { return false; }
58
59 void convert_form() override
60 {
61 /* do nothing */
62 }
63
64 protected:
65 Eigen::Vector<zono_float, -1> do_optimize_over(
66 const Eigen::SparseMatrix<zono_float>&, const Eigen::Vector<zono_float, -1>&, zono_float,
67 const OptSettings&, std::shared_ptr<OptSolution>*,
68 const WarmStartParams&) const override;
69
70 Eigen::Vector<zono_float, -1> do_project_point(const Eigen::Vector<zono_float, -1>& x,
71 const OptSettings&, std::shared_ptr<OptSolution>*,
72 const WarmStartParams&) const override;
73
74 zono_float do_support(const Eigen::Vector<zono_float, -1>& d, const OptSettings&,
75 std::shared_ptr<OptSolution>*, const WarmStartParams&) override;
76
77 bool do_contains_point(const Eigen::Vector<zono_float, -1>& x, const OptSettings&,
78 std::shared_ptr<OptSolution>*, const WarmStartParams&) const override;
79
80 Box do_bounding_box(const OptSettings&, std::shared_ptr<OptSolution>*, const WarmStartParams&) override;
81 };
82} // namespace ZonoOpt
83
84#endif
Zonotope class for ZonoOpt library.
Box (i.e., interval vector) class.
Definition Box.hpp:25
Hybrid zonotope class.
Definition HybZono.hpp:43
bool sharp
flag to indicate whether the set is known to be sharp (i.e., convex relaxation = convex hull)
Definition HybZono.hpp:713
Eigen::Vector< zono_float, -1 > c
center vector
Definition HybZono.hpp:689
Point class.
Definition Point.hpp:27
void convert_form() override
Converts the set representation between -1-1 and 0-1 forms.
Definition Point.hpp:59
bool remove_redundancy(int) override
Removes redundant constraints and any unused generators.
Definition Point.hpp:57
Box do_bounding_box(const OptSettings &, std::shared_ptr< OptSolution > *, const WarmStartParams &) override
Definition Point.cpp:91
zono_float do_support(const Eigen::Vector< zono_float, -1 > &d, const OptSettings &, std::shared_ptr< OptSolution > *, const WarmStartParams &) override
Definition Point.cpp:68
void set(const Eigen::Vector< zono_float, -1 > &c)
Reset point object with the given parameters.
Definition Point.cpp:18
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
Definition Point.cpp:55
std::string print() const override
Returns set information as a string.
Definition Point.cpp:39
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
Definition Point.cpp:48
Point()
Default constructor for Point class.
Definition Point.hpp:34
HybZono * clone() const override
Clone method for polymorphic behavior.
Definition Point.cpp:13
bool do_contains_point(const Eigen::Vector< zono_float, -1 > &x, const OptSettings &, std::shared_ptr< OptSolution > *, const WarmStartParams &) const override
Definition Point.cpp:80
Zonotope class.
Definition Zono.hpp:32
#define zono_float
Defines the floating-point type used in ZonoOpt.
Definition ZonoOpt.hpp:45
Definition ZonoOpt.hpp:58
Settings for optimization routines in ZonoOpt library.
Definition SolverDataStructures.hpp:25
Warm start parameters for optimization routines in ZonoOpt library.
Definition ADMM.hpp:49