CoppReachSet2Result Struct Reference

Reachable intervals returned by TOPP2 reachable-set construction. More...

#include <topp2.h>

Data Fields
struct CoppVecF64	a_max
	Upper reachable bound for each station.
struct CoppVecF64	a_min
	Lower reachable bound for each station.

Detailed Description

Reachable intervals returned by TOPP2 reachable-set construction.

For each station, the feasible interval is a_min[k] <= a[k] <= a_max[k] where a = (ds/dt)^2. The field order is a_max first, then a_min. Both vectors are library-owned and must be released together with copp_reach_set2_result_free.

Definition at line 97 of file topp2.h.

Field Documentation

a_max

struct CoppVecF64 CoppReachSet2Result::a_max

Upper reachable bound for each station.

Definition at line 101 of file topp2.h.

a_min

struct CoppVecF64 CoppReachSet2Result::a_min

Lower reachable bound for each station.

Definition at line 105 of file topp2.h.

---

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

• bindings/c/include/copp/topp2.h