topp2.h File Reference

TOPP2-RA and second-order reachable-set APIs. More...

#include <stddef.h>
#include "copp/core.h"
#include "copp/formulation.h"

Go to the source code of this file.

Data Structures
struct	Topp2RaOptions
	Options for TOPP2-RA reachability analysis. More...
struct	CoppReachSet2Result
	Reachable intervals returned by TOPP2 reachable-set construction. More...

Functions
enum CoppStatus	topp2_ra_default_options (struct Topp2RaOptions *out_options)
	Write default TOPP2-RA options into out_options.
enum CoppStatus	topp2_ra (struct Topp2Problem problem, struct Topp2RaOptions options, struct CoppVecF64 *out_a)
	Solve a TOPP2-RA problem.
enum CoppStatus	copp_reach_set2_backward (struct Topp2Problem problem, struct Topp2RaOptions options, struct CoppReachSet2Result *out_result)
	Compute backward-only TOPP2 reachable intervals.
enum CoppStatus	copp_reach_set2_bidirectional (struct Topp2Problem problem, struct Topp2RaOptions options, struct CoppReachSet2Result *out_result)
	Compute bidirectional TOPP2 reachable intervals.
void	copp_reach_set2_result_free (struct CoppReachSet2Result result)
	Release a reachable-set result returned by COPP.

Detailed Description

TOPP2-RA and second-order reachable-set APIs.