ZonoOpt::OptSolution Struct Reference

Solution data structure for optimization routines in ZonoOpt library. More...

#include <SolverDataStructures.hpp>

Public Member Functions
std::string	print () const
	displays solution as string

Public Attributes
Eigen::Vector< zono_float, -1 >	z
	solution vector
zono_float	J = -std::numeric_limits<zono_float>::infinity()
	objective
double	run_time = 0.0
	time to compute solution
double	startup_time = 0.0
	time to factorize matrices and run interval contractors
int	iter = 0
	number of iterations
bool	converged = false
	true if optimization has converged
bool	infeasible = false
	true if optimization problem is provably infeasible
Eigen::Vector< zono_float, -1 >	x
	ADMM primal variable, approximately equal to z when converged.
Eigen::Vector< zono_float, -1 >	u
	ADMM dual variable.
zono_float	primal_residual = std::numeric_limits<zono_float>::infinity()
	primal residual, corresponds to feasibility
zono_float	dual_residual = std::numeric_limits<zono_float>::infinity()
	dual residual, corresponds to optimality

Detailed Description

Solution data structure for optimization routines in ZonoOpt library.

Member Function Documentation

print()

std::string ZonoOpt::OptSolution::print ( ) const

inline

displays solution as string

Returns

string

Member Data Documentation

converged

bool ZonoOpt::OptSolution::converged = false

true if optimization has converged

dual_residual

zono_float ZonoOpt::OptSolution::dual_residual = std::numeric_limits<zono_float>::infinity()

dual residual, corresponds to optimality

infeasible

bool ZonoOpt::OptSolution::infeasible = false

true if optimization problem is provably infeasible

iter

int ZonoOpt::OptSolution::iter = 0

number of iterations

J

zono_float ZonoOpt::OptSolution::J = -std::numeric_limits<zono_float>::infinity()

objective

primal_residual

zono_float ZonoOpt::OptSolution::primal_residual = std::numeric_limits<zono_float>::infinity()

primal residual, corresponds to feasibility

run_time

double ZonoOpt::OptSolution::run_time = 0.0

time to compute solution

startup_time

double ZonoOpt::OptSolution::startup_time = 0.0

time to factorize matrices and run interval contractors

u

Eigen::Vector<zono_float, -1> ZonoOpt::OptSolution::u

ADMM dual variable.

x

Eigen::Vector<zono_float, -1> ZonoOpt::OptSolution::x

ADMM primal variable, approximately equal to z when converged.

z

Eigen::Vector<zono_float, -1> ZonoOpt::OptSolution::z

solution vector

---

The documentation for this struct was generated from the following file:

• /home/joshr/Documents/Projects/ZonoOpt/include/zonoopt/SolverDataStructures.hpp