copp::solver::reach_set2 Namespace Reference

Standalone second-order reachable-set helpers for feasibility analysis or diagnostics before TOPP2/COPP2 recovery. More...

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

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

Detailed Description

Standalone second-order reachable-set helpers for feasibility analysis or diagnostics before TOPP2/COPP2 recovery.

Typedef Documentation

Options

using copp::solver::reach_set2::Options = copp::solver::topp2_ra::Options

Definition at line 8 of file reach_set2.hpp.

Problem

using copp::solver::reach_set2::Problem = copp::solver::topp2_ra::Problem

Definition at line 9 of file reach_set2.hpp.

ReachSet

using copp::solver::reach_set2::ReachSet = copp::solver::topp2_ra::ReachSet

Definition at line 10 of file reach_set2.hpp.

Function Documentation

backward() [1/3]

ReachSet copp::solver::reach_set2::backward ( const Problem & problem, const Options & options = {} )

inline

Compute backward-only TOPP2 reachable intervals.

Definition at line 13 of file reach_set2.hpp.

backward() [2/3]

Expected< ReachSet > copp::solver::reach_set2::backward ( const Problem & problem, const Options & options, NoThrowTag  )

inline

Definition at line 17 of file reach_set2.hpp.

backward() [3/3]

Expected< ReachSet > copp::solver::reach_set2::backward ( const Problem & problem, NoThrowTag tag )

inline

Definition at line 21 of file reach_set2.hpp.

bidirectional() [1/3]

ReachSet copp::solver::reach_set2::bidirectional ( const Problem & problem, const Options & options = {} )

inline

Compute bidirectional TOPP2 reachable intervals, enforcing both boundaries.

Definition at line 27 of file reach_set2.hpp.

bidirectional() [2/3]

Expected< ReachSet > copp::solver::reach_set2::bidirectional ( const Problem & problem, const Options & options, NoThrowTag  )

inline

Definition at line 31 of file reach_set2.hpp.

bidirectional() [3/3]

Expected< ReachSet > copp::solver::reach_set2::bidirectional ( const Problem & problem, NoThrowTag tag )

inline

Definition at line 35 of file reach_set2.hpp.