|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
This is the complete list of members for lucid::FourierBarrierCertificate, including all inherited members.
| apply_impl(ConstVectorRef x) const override | lucid::FourierBarrierCertificate | privatevirtual |
| BarrierCertificate(int T, double gamma, double eta=0, double c=0) | lucid::FourierBarrierCertificate | explicit |
| c() const | lucid::BarrierCertificate | inline |
| c_ | lucid::BarrierCertificate | protected |
| clone() const override | lucid::FourierBarrierCertificate | virtual |
| coefficients() const | lucid::FourierBarrierCertificate | inline |
| coefficients_ | lucid::FourierBarrierCertificate | private |
| eta() const | lucid::BarrierCertificate | inline |
| eta_ | lucid::BarrierCertificate | protected |
| gamma() const | lucid::BarrierCertificate | inline |
| gamma_ | lucid::BarrierCertificate | protected |
| is_synthesized() const | lucid::BarrierCertificate | inline |
| norm() const | lucid::BarrierCertificate | inline |
| norm_ | lucid::BarrierCertificate | protected |
| operator()(ConstVectorRef x) const | lucid::BarrierCertificate | |
| optimiser_callback(bool success, double obj_val, const Vector &coefficients, double eta, double c, double norm, double b_norm) | lucid::FourierBarrierCertificate | private |
| safety() const | lucid::BarrierCertificate | inline |
| safety_ | lucid::BarrierCertificate | protected |
| synthesize(int lattice_resolution, const Estimator &estimator, const TruncatedFourierFeatureMap &feature_map, const RectSet &X_bounds, const Set &X_init, const Set &X_unsafe, const FourierBarrierCertificateParameters ¶meters={}) | lucid::FourierBarrierCertificate | |
| synthesize(const Optimiser &optimiser, int lattice_resolution, const Estimator &estimator, const TruncatedFourierFeatureMap &feature_map, const RectSet &X_bounds, const Set &X_init, const Set &X_unsafe, const FourierBarrierCertificateParameters ¶meters={}) | lucid::FourierBarrierCertificate | |
| T() const | lucid::BarrierCertificate | inline |
| T_ | lucid::BarrierCertificate | protected |
| to_string() const override | lucid::FourierBarrierCertificate | virtual |