CBMC
|
#include <nonstd/optional.hpp>
Go to the source code of this file.
Typedefs | |
template<typename T > | |
using | optionalt = nonstd::optional< T > |
typedef nonstd::bad_optional_access | bad_optional_accesst |
Functions | |
template<typename T > | |
T & | get_value_or_abort (optionalt< T > &opt) |
Similar to optionalt::value but in case of empty optional, generates an invariant failure instead of throwing an exception. More... | |
template<typename T > | |
const T & | get_value_or_abort (const optionalt< T > &opt) |
Similar to optionalt::value but in case of empty optional, generates an invariant failure instead of throwing an exception. More... | |
typedef nonstd::bad_optional_access bad_optional_accesst |
Definition at line 37 of file optional.h.
using optionalt = nonstd::optional<T> |
Definition at line 35 of file optional.h.
const T& get_value_or_abort | ( | const optionalt< T > & | opt | ) |
Similar to optionalt::value but in case of empty optional, generates an invariant failure instead of throwing an exception.
Definition at line 52 of file optional.h.
T& get_value_or_abort | ( | optionalt< T > & | opt | ) |
Similar to optionalt::value but in case of empty optional, generates an invariant failure instead of throwing an exception.
Definition at line 44 of file optional.h.