copp::solver::topp3_socp Namespace Reference

Third-order time-optimal Clarabel SOCP backend, commonly used as an iterative convex refinement by rebuilding the problem with the returned profile.a. More...

Typedefs
using	Problem = copp::solver::topp3::Problem
using	Result = copp::solver::topp3::Result

Functions
COPP_API Profile3rd	solve (const Problem &problem, const clarabel::Options &options={})
	Solve TOPP3-SOCP and return an accepted third-order profile.
Expected< Profile3rd >	solve (const Problem &problem, const clarabel::Options &options, NoThrowTag)
Expected< Profile3rd >	solve (const Problem &problem, NoThrowTag tag)
COPP_API Result	solve_expert (const Problem &problem, const clarabel::Options &options={})
	Solve TOPP3-SOCP and always return Clarabel diagnostics.
Expected< Result >	solve_expert (const Problem &problem, const clarabel::Options &options, NoThrowTag)
Expected< Result >	solve_expert (const Problem &problem, NoThrowTag tag)

Detailed Description

Third-order time-optimal Clarabel SOCP backend, commonly used as an iterative convex refinement by rebuilding the problem with the returned profile.a.

Typedef Documentation

Problem

using copp::solver::topp3_socp::Problem = copp::solver::topp3::Problem

Definition at line 10 of file topp3_socp.hpp.

Result

using copp::solver::topp3_socp::Result = copp::solver::topp3::Result

Definition at line 11 of file topp3_socp.hpp.

Function Documentation

solve() [1/3]

COPP_API Profile3rd copp::solver::topp3_socp::solve	(	const Problem &	problem,
		const clarabel::Options &	options = {} )

Solve TOPP3-SOCP and return an accepted third-order profile.

A common SCP workflow solves once with an initial a_linearization, then rebuilds topp3_socp::Problem with the returned profile.a and solves again. topp3_socp::Problem is an alias for the shared third-order copp::solver::topp3::Problem descriptor used by TOPP3-LP, TOPP3-SOCP, and COPP3-SOCP.

solve() [2/3]

Expected< Profile3rd > copp::solver::topp3_socp::solve ( const Problem & problem, const clarabel::Options & options, NoThrowTag  )

inline

Definition at line 21 of file topp3_socp.hpp.

solve() [3/3]

Expected< Profile3rd > copp::solver::topp3_socp::solve ( const Problem & problem, NoThrowTag tag )

inline

Definition at line 28 of file topp3_socp.hpp.

solve_expert() [1/3]

COPP_API Result copp::solver::topp3_socp::solve_expert	(	const Problem &	problem,
		const clarabel::Options &	options = {} )

Solve TOPP3-SOCP and always return Clarabel diagnostics.

TOPP3 expert results leave COPP objective diagnostics empty because no COPP objective list is part of the problem.

solve_expert() [2/3]

Expected< Result > copp::solver::topp3_socp::solve_expert ( const Problem & problem, const clarabel::Options & options, NoThrowTag  )

inline

Definition at line 38 of file topp3_socp.hpp.

solve_expert() [3/3]

Expected< Result > copp::solver::topp3_socp::solve_expert ( const Problem & problem, NoThrowTag tag )

inline

Definition at line 45 of file topp3_socp.hpp.