spot::internal::edge_storage< StateIn, StateOut, Edge, Edge_Data > Struct Template Reference

Inheritance diagram for spot::internal::edge_storage< StateIn, StateOut, Edge, Edge_Data >:

Collaboration diagram for spot::internal::edge_storage< StateIn, StateOut, Edge, Edge_Data >:

Public Types
typedef Edge	edge

Public Member Functions
template<typename... Args>
	edge_storage (StateOut dst, Edge next_succ, StateIn src, Args &&... args) noexcept(std::is_nothrow_constructible< Edge_Data, Args... >::value &&std::is_nothrow_constructible< StateOut, StateOut >::value &&std::is_nothrow_constructible< Edge, Edge >::value)
bool	operator< (const edge_storage &other) const
bool	operator== (const edge_storage &other) const

Public Attributes
StateOut	dst
Edge	next_succ
StateIn	src

---

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

• spot/graph/graph.hh