Directory dependency graph for zonoopt:
Files | |
| ADMM.hpp | |
| Convex and mixed-integer ADMM implementations used within ZonoOpt. | |
| BnbDataStructures.hpp | |
| Data structures for mixed-integer optimization in ZonoOpt library. | |
| Box.hpp | |
| Box and MI_Box classes. | |
| BranchAndBound.hpp | |
| Internal branch-and-bound routines for ZonoOpt library. | |
| CholeskyUtilities.hpp | |
| Internal utilities for Cholesky factorization using Eigen's LDLT solver. | |
| ConZono.hpp | |
| Constrained zonotope class for ZonoOpt library. | |
| EmptySet.hpp | |
| Empty Set class for ZonoOpt library. | |
| GenUtilities.hpp | |
| General utility functions for ZonoOpt library. | |
| GurobiApi.hpp | |
| C++ interface to the Gurobi optimization solver via dynamic loading. | |
| GurobiSettings.hpp | |
| Settings for the dynamically-loaded Gurobi solver backend. | |
| GurobiSolver.hpp | |
| C++ interface to the Gurobi optimization solver via dynamic loading. | |
| HybZono.hpp | |
| Hybrid zonotope class for ZonoOpt library. | |
| Interval.hpp | |
| Interval class. | |
| IntervalMatrix.hpp | |
| IntervalMatrix class. | |
| Point.hpp | |
| Point class for ZonoOpt library. | |
| SCIPApi.hpp | |
| Low-level dynamic loader for the SCIP optimization solver. | |
| SCIPSettings.hpp | |
| Settings for the dynamically-loaded SCIP solver backend. | |
| SCIPSolver.hpp | |
| C++ interface to the SCIP optimization solver via dynamic loading. | |
| SolverDataStructures.hpp | |
| Optimization settings and solution data structures for ZonoOpt library. | |
| SparseMatrixUtilities.hpp | |
| Utilities for sparse matrix operations in ZonoOpt library. | |
| Zono.hpp | |
| Zonotope class for ZonoOpt library. | |
| ZonoJson.hpp | |
| Read / write zonotopic sets from / to JSON files. | |
