dReal4
optional.h
1 #pragma once
2 
3 #include "dreal/util/optional.hpp"
4 
5 namespace dreal {
6 template <typename T>
7 using optional = tl::optional<T>;
8 constexpr auto nullopt = tl::nullopt;
9 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9