cprover
optional.h File Reference
#include <nonstd/optional.hpp>
+ Include dependency graph for optional.h:
+ This graph shows which files directly or indirectly include this file:

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
 

Typedef Documentation

◆ bad_optional_accesst

typedef nonstd::bad_optional_access bad_optional_accesst

Definition at line 37 of file optional.h.

◆ optionalt

template<typename T >
using optionalt = nonstd::optional<T>

Definition at line 35 of file optional.h.