spot::internal::distate_storage< Edge, State_Data > Struct Template Reference

Inheritance diagram for spot::internal::distate_storage< Edge, State_Data >:

Collaboration diagram for spot::internal::distate_storage< Edge, State_Data >:

Public Member Functions
template<typename... Args, typename = typename std::enable_if< !first_is_base_of<distate_storage, Args...>::value>::type>
	distate_storage (Args &&... args) noexcept(std::is_nothrow_constructible< State_Data, Args... >::value)

Public Attributes
Edge	succ = 0
Edge	succ_tail = 0

---

The documentation for this struct was generated from the following file:

• spot/graph/graph.hh