ZonoOpt 2.2.0
Loading...
Searching...
No Matches
ZonoOpt.hpp
Go to the documentation of this file.
1#ifndef ZONOOPT_HPP_
2#define ZONOOPT_HPP_
3
4#include <sstream>
5#include <iostream>
6
37#define EIGEN_MPL2_ONLY // Disable features licensed under LGPL
38
39// ZonoOpt preprocessor directives
44#ifndef zono_float
45 #define zono_float double
46#endif
47
52#ifndef zono_eps
53 #define zono_eps Eigen::NumTraits<zono_float>::dummy_precision()
54#endif
55
56// constants
57namespace ZonoOpt::detail
58{
59 constexpr zono_float pi = static_cast<zono_float>(3.14159265358979323846);
60 constexpr zono_float zero = static_cast<zono_float>(0.0);
61 constexpr zono_float p5 = static_cast<zono_float>(0.5);
62 constexpr zono_float one = static_cast<zono_float>(1.0);
63 constexpr zono_float two = static_cast<zono_float>(2.0);
64}
65
66// includes
67#include "zonoopt/ADMM.hpp"
69#include "zonoopt/ConZono.hpp"
70#include "zonoopt/EmptySet.hpp"
72#include "zonoopt/HybZono.hpp"
73#include "zonoopt/Interval.hpp"
74#include "zonoopt/Box.hpp"
78#include "zonoopt/Point.hpp"
81#include "zonoopt/Zono.hpp"
82
83// typedef
84namespace ZonoOpt
85{
90 typedef std::unique_ptr<HybZono> ZonoPtr;
91}
92
93#endif
Convex and mixed-integer ADMM implementations used within ZonoOpt.
Data structures for mixed-integer optimization in ZonoOpt library.
Box and MI_Box classes.
Internal branch-and-bound routines for ZonoOpt library.
Internal utilities for Cholesky factorization using Eigen's LDLT solver.
Constrained zonotope class for ZonoOpt library.
Empty Set class for ZonoOpt library.
General utility functions for ZonoOpt library.
Hybrid zonotope class for ZonoOpt library.
IntervalMatrix class.
Interval class.
Point class for ZonoOpt library.
Optimization settings and solution data structures for ZonoOpt library.
Utilities for sparse matrix operations in ZonoOpt library.
Zonotope class for ZonoOpt library.
#define zono_float
Defines the floating-point type used in ZonoOpt.
Definition ZonoOpt.hpp:45
std::unique_ptr< HybZono > ZonoPtr
Type alias for a unique pointer to a (polymorphic) HybZono object. <>
Definition ZonoOpt.hpp:90
Definition ZonoOpt.hpp:58