Topp2RaOptions Struct Reference

Options for TOPP2-RA reachability analysis. More...

#include <topp2.h>

Data Fields
double	lp_feas_tol
	Feasibility tolerance used by LP subproblems.
double	a_cmp_abs_tol
	Absolute tolerance for comparing interval bounds.
double	a_cmp_rel_tol
	Relative tolerance for comparing interval bounds.
enum CoppVerbosity	verbosity
	Verbosity level for diagnostics.

Detailed Description

Options for TOPP2-RA reachability analysis.

Definition at line 31 of file topp2.h.

Field Documentation

lp_feas_tol

double Topp2RaOptions::lp_feas_tol

Feasibility tolerance used by LP subproblems.

Definition at line 35 of file topp2.h.

a_cmp_abs_tol

double Topp2RaOptions::a_cmp_abs_tol

Absolute tolerance for comparing interval bounds.

Definition at line 39 of file topp2.h.

a_cmp_rel_tol

double Topp2RaOptions::a_cmp_rel_tol

Relative tolerance for comparing interval bounds.

Definition at line 43 of file topp2.h.

verbosity

enum CoppVerbosity Topp2RaOptions::verbosity

Verbosity level for diagnostics.

Definition at line 47 of file topp2.h.

---

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

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