|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
#include <cstdint>#include <iosfwd>#include <vector>#include "lucid/util/concept.h"#include "lucid/util/definitions.h"Namespaces | |
| namespace | lucid |
| Root namespace for the lucid library. | |
Typedefs | |
| using | lucid::Requests = std::underlying_type_t<Request> |
| Efficient set of requests. | |
Enumerations | |
| enum class | lucid::Request : std::uint16_t { lucid::_ = 0 , lucid::OBJECTIVE_VALUE = 1 << 0 , lucid::GRADIENT = 1 << 1 } |
| List of available requests a tuner can make to an Estimator and, by extension, to a Kernel. More... | |
Variables | |
| constexpr Requests | lucid::NoRequests = static_cast<Requests>(Request::_) |
| No request value. | |
Request enum.