|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
#include <boost/math/distributions/normal.hpp>#include <cmath>Namespaces | |
| namespace | lucid |
| Root namespace for the lucid library. | |
Functions | |
| double | lucid::peaks (const double x, const double y) |
| Peaks function defined over a pair of values. | |
| double | lucid::normal_cdf (const double x, const double sigma_f, const double sigma_l) |
Compute the Cumulative distribution function (CDF) of the normal distribution at the point x. | |
| template<class T> requires (std::is_integral_v<T>) | |
| T | lucid::pow (T base, T exp) |
| Raise a base to the power of an exponent: \( b^e \). | |
Collection of math functions.