spot::internal::killer_edge_iterator< Graph > Member List

This is the complete list of members for spot::internal::killer_edge_iterator< Graph >, including all inherited members.

difference_type typedef (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >
edge typedef (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >
edge_iterator() noexcept (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
edge_iterator(Graph *g, edge t) noexcept (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
erase() (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >	inline
g_ (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	protected
iterator_category typedef (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >
killer_edge_iterator(Graph *g, edge t, state_storage_t &src) noexcept (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >	inline
operator bool() const (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
operator!=(edge_iterator o) const (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
operator*() const (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
operator++() (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >	inline
operator++(int) (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >	inline
operator->() const (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
operator==(edge_iterator o) const (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
pointer typedef (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >
prev_ (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >	protected
reference typedef (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >
src_ (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >	protected
state_storage_t typedef (defined in spot::internal::killer_edge_iterator< Graph >)	spot::internal::killer_edge_iterator< Graph >
t_ (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	protected
trans() const (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >	inline
value_type typedef (defined in spot::internal::edge_iterator< Graph >)	spot::internal::edge_iterator< Graph >