topp2.h

Go to the documentation of this file.

#ifndef COPP_TOPP2_H
#define COPP_TOPP2_H
 
/*
 * Generated by bindings/c/scripts/generate_headers.ps1.
 * Do not edit by hand; update src/ffi/c and regenerate.
 */

 
#include <stddef.h>
#include "copp/core.h"
#include "copp/formulation.h"
 
#ifdef __cplusplus
extern "C" {
#endif


typedef struct Topp2RaOptions {
    double lp_feas_tol;
    double a_cmp_abs_tol;
    double a_cmp_rel_tol;
    enum CoppVerbosity verbosity;
} Topp2RaOptions;

enum CoppStatus topp2_ra_default_options(struct Topp2RaOptions *out_options);

enum CoppStatus topp2_ra(struct Topp2Problem problem,
                         struct Topp2RaOptions options,
                         struct CoppVecF64 *out_a);

typedef struct CoppReachSet2Result {
    struct CoppVecF64 a_max;
    struct CoppVecF64 a_min;
} CoppReachSet2Result;

enum CoppStatus copp_reach_set2_backward(struct Topp2Problem problem,
                                         struct Topp2RaOptions options,
                                         struct CoppReachSet2Result *out_result);

enum CoppStatus copp_reach_set2_bidirectional(struct Topp2Problem problem,
                                              struct Topp2RaOptions options,
                                              struct CoppReachSet2Result *out_result);

void copp_reach_set2_result_free(struct CoppReachSet2Result result);

 
#ifdef __cplusplus
}
#endif
 
#endif /* COPP_TOPP2_H */