reach_set2.hpp File Reference

#include "copp/solver/topp2_ra.hpp"

Go to the source code of this file.

Namespaces
namespace	copp
	Root namespace for the C++ facade: paths, robots, constraints, matrices, profiles, errors, objectives, interpolation, and solver entry points.
namespace	copp::solver
	Solver entry namespace containing TOPP2, COPP2, TOPP3, COPP3, reachable-set, RA, LP, and SOCP solver families.
namespace	copp::solver::reach_set2
	Standalone second-order reachable-set helpers for feasibility analysis or diagnostics before TOPP2/COPP2 recovery.

Typedefs
using	copp::solver::reach_set2::Options = copp::solver::topp2_ra::Options
using	copp::solver::reach_set2::Problem = copp::solver::topp2_ra::Problem
using	copp::solver::reach_set2::ReachSet = copp::solver::topp2_ra::ReachSet

Functions
ReachSet	copp::solver::reach_set2::backward (const Problem &problem, const Options &options={})
	Compute backward-only TOPP2 reachable intervals.
Expected< ReachSet >	copp::solver::reach_set2::backward (const Problem &problem, const Options &options, NoThrowTag)
Expected< ReachSet >	copp::solver::reach_set2::backward (const Problem &problem, NoThrowTag tag)
ReachSet	copp::solver::reach_set2::bidirectional (const Problem &problem, const Options &options={})
	Compute bidirectional TOPP2 reachable intervals, enforcing both boundaries.
Expected< ReachSet >	copp::solver::reach_set2::bidirectional (const Problem &problem, const Options &options, NoThrowTag)
Expected< ReachSet >	copp::solver::reach_set2::bidirectional (const Problem &problem, NoThrowTag tag)