File List

Here is a list of all files with brief descriptions:

[detail level 123]

▼ include
▼ zonoopt
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
ZonoOpt.hpp	ZonoOpt library main header file
▼ src
ADMM.cpp
Box.cpp
BranchAndBound.cpp
CholeskyUtilities.cpp
ConZono.cpp
EmptySet.cpp
GurobiApi.cpp
GurobiSolver.cpp
HybZono.cpp
Interval.cpp
IntervalMatrix.cpp
Point.cpp
SCIPApi.cpp
SCIPSolver.cpp
SetOperations.cpp
Zono.cpp
ZonoJson.cpp