|
|
lucid
0.0.1
Lifting-based Uncertain Control Invariant Dynamics
|
A utility class that temporarily shields all current scoped values of type T and Tags. More...
#include <ScopedValue.h>
Private Attributes | |
| std::vector< SavedScopedValue * > | saved_scope_stack_ |
| Saved stack of scoped value instances. | |
A utility class that temporarily shields all current scoped values of type T and Tags.
When an instance of this class is created, it saves the current stack of scoped values and clears the stack, effectively "shielding" any existing scoped values. When the instance is destroyed, it restores the saved stack of scoped values.
| T | Type of the value to be scoped. |
| Tags | Variadic template parameters to uniquely identify different scoped value types. |