|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
#include <algorithm>#include <cassert>#include <utility>#include <vector>Classes | |
| class | lucid::BaseScopedValue< T, Tags > |
| Base class for creating a stack of scoped values of type T, identified by Tags. More... | |
| class | lucid::PolymorphicScopedValue< T, B, Tags > |
| Generic scoped value class that can hold a value of type T, while interfacing with a base class B. More... | |
| class | lucid::ScopedValueShield< T, Tags > |
| A utility class that temporarily shields all current scoped values of type T and Tags. More... | |
Namespaces | |
| namespace | lucid |
| Root namespace for the lucid library. | |
Typedefs | |
| template<class T, class... Tags> | |
| using | lucid::ScopedValue = PolymorphicScopedValue<T, T, Tags...> |
| Simplified scoped value class that holds a value of type T. | |
ScopedValue class.