ZonoOpt v2.0.1
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"
74#include "zonoopt/Intervals.hpp"
76#include "zonoopt/MI_Solver.hpp"
77#include "zonoopt/Point.hpp"
80#include "zonoopt/Zono.hpp"
81
82// typedef
83namespace ZonoOpt
84{
89 typedef std::unique_ptr<HybZono> ZonoPtr;
90}
91
92#endif
ADMM implementation used within ZonoOpt.
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.
Class definitions for zero-one inequalities.
Interval and box classes.
Data structures for mixed-integer optimization in ZonoOpt library.
Internal mixed-integer optimization routines for ZonoOpt library.
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:89
Definition ZonoOpt.hpp:58