1#ifndef ZONOOPT_POINT_HPP_
2#define ZONOOPT_POINT_HPP_
19 using namespace detail;
41 explicit Point(
const Eigen::Vector<zono_float, -1>&
c);
49 void set(
const Eigen::Vector<zono_float, -1>&
c);
54 std::string
print()
const override;
66 const Eigen::SparseMatrix<zono_float>&,
const Eigen::Vector<zono_float, -1>&,
zono_float,
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