copp::solver Namespace Reference

Solver entry namespace containing TOPP2, COPP2, TOPP3, COPP3, reachable-set, RA, LP, and SOCP solver families. More...

Namespaces
namespace	topp2_ra
	Second-order time-optimal reachability-analysis solver plus second-order reachable-set artifacts and options.
namespace	reach_set2
	Standalone second-order reachable-set helpers for feasibility analysis or diagnostics before TOPP2/COPP2 recovery.
namespace	copp2_socp
	Second-order convex-objective Clarabel SOCP backend with normal profile-returning APIs and expert diagnostic results.
namespace	topp3
	Shared third-order problem, boundary, stationary-bound, and expert result types used by TOPP3-LP, TOPP3-SOCP, and COPP3-SOCP.
namespace	topp3_lp
	Third-order time-optimal Clarabel LP backend over a pre-linearized topp3::Problem.
namespace	topp3_socp
	Third-order time-optimal Clarabel SOCP backend, commonly used as an iterative convex refinement by rebuilding the problem with the returned profile.a.
namespace	copp3_socp
	Third-order convex-objective Clarabel SOCP backend with COPP objective support and expert objective/solver diagnostics.

Detailed Description

Solver entry namespace containing TOPP2, COPP2, TOPP3, COPP3, reachable-set, RA, LP, and SOCP solver families.