37#define EIGEN_MPL2_ONLY  
   45    #define zono_float double 
   53    #define zono_eps Eigen::NumTraits<zono_float>::dummy_precision() 
   57namespace ZonoOpt::detail
 
 
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