| chain_edges_() | spot::digraph< State_Data, Edge_Data > | inline |
| const_iterator typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| defrag_states(const std::vector< unsigned > &newst, unsigned used_states) | spot::digraph< State_Data, Edge_Data > | inline |
| defrag_states(std::vector< unsigned > &&newst, unsigned used_states) | spot::digraph< State_Data, Edge_Data > | inline |
| dests_ (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | protected |
| dests_vector() const | spot::digraph< State_Data, Edge_Data > | inline |
| dests_vector() | spot::digraph< State_Data, Edge_Data > | inline |
| dests_vector_t typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| digraph(unsigned max_states=10, unsigned max_trans=0) | spot::digraph< State_Data, Edge_Data > | inline |
| DSI_All enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_Dests enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_DestsBody enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_DestsFooter enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_DestsHeader enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_Edges enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_EdgesBody enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_EdgesFooter enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_EdgesHeader enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_GraphFooter enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_GraphHeader enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_States enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_StatesBody enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_StatesFooter enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| DSI_StatesHeader enum value (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| dump_storage(std::ostream &o) const | spot::digraph< State_Data, Edge_Data > | inline |
| dump_storage_as_dot(std::ostream &o, int dsi=DSI_All) const | spot::digraph< State_Data, Edge_Data > | inline |
| dump_storage_items enum name (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| edge typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| edge_data(edge s) | spot::digraph< State_Data, Edge_Data > | inline |
| edge_data(edge s) const | spot::digraph< State_Data, Edge_Data > | inline |
| edge_data_t typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| edge_storage(edge s) | spot::digraph< State_Data, Edge_Data > | inline |
| edge_storage(edge s) const | spot::digraph< State_Data, Edge_Data > | inline |
| edge_storage_t typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| edge_vector() const | spot::digraph< State_Data, Edge_Data > | inline |
| edge_vector() | spot::digraph< State_Data, Edge_Data > | inline |
| edge_vector_t typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| edges() const | spot::digraph< State_Data, Edge_Data > | inline |
| edges() | spot::digraph< State_Data, Edge_Data > | inline |
| edges_ (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | protected |
| index_of_edge(const edge_storage_t &tt) const | spot::digraph< State_Data, Edge_Data > | inline |
| index_of_state(const state_storage_t &ss) const | spot::digraph< State_Data, Edge_Data > | inline |
| internal::edge_iterator< const digraph > (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | friend |
| internal::edge_iterator< digraph > (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | friend |
| internal::killer_edge_iterator< digraph > (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | friend |
| is_dead_edge(unsigned t) const | spot::digraph< State_Data, Edge_Data > | inline |
| is_dead_edge(const edge_storage_t &t) const | spot::digraph< State_Data, Edge_Data > | inline |
| is_existential() const | spot::digraph< State_Data, Edge_Data > | inline |
| is_valid_edge(edge t) const | spot::digraph< State_Data, Edge_Data > | inline |
| iterator typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| killed_edge_ (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | protected |
| new_edge(state src, state dst, Args &&... args) | spot::digraph< State_Data, Edge_Data > | inline |
| new_state(Args &&... args) | spot::digraph< State_Data, Edge_Data > | inline |
| new_states(unsigned n, Args &&... args) | spot::digraph< State_Data, Edge_Data > | inline |
| new_univ_dests(I dst_begin, I dst_end) | spot::digraph< State_Data, Edge_Data > | inline |
| new_univ_edge(state src, I dst_begin, I dst_end, Args &&... args) | spot::digraph< State_Data, Edge_Data > | inline |
| new_univ_edge(state src, const std::initializer_list< state > &dsts, Args &&... args) | spot::digraph< State_Data, Edge_Data > | inline |
| num_edges() const | spot::digraph< State_Data, Edge_Data > | inline |
| num_states() const | spot::digraph< State_Data, Edge_Data > | inline |
| out(state src) | spot::digraph< State_Data, Edge_Data > | inline |
| out(state_storage_t &src) | spot::digraph< State_Data, Edge_Data > | inline |
| out(state src) const | spot::digraph< State_Data, Edge_Data > | inline |
| out(state_storage_t &src) const | spot::digraph< State_Data, Edge_Data > | inline |
| out_iteraser(state_storage_t &src) | spot::digraph< State_Data, Edge_Data > | inline |
| out_iteraser(state src) | spot::digraph< State_Data, Edge_Data > | inline |
| remove_dead_edges_() | spot::digraph< State_Data, Edge_Data > | inline |
| rename_states_(const std::vector< unsigned > &newst) | spot::digraph< State_Data, Edge_Data > | inline |
| sort_edges_(Predicate p=Predicate()) | spot::digraph< State_Data, Edge_Data > | inline |
| sort_edges_of_(Predicate p=Predicate(), const std::vector< bool > *to_sort_ptr=nullptr) | spot::digraph< State_Data, Edge_Data > | inline |
| sort_edges_srcfirst_(Predicate p=Predicate(), parallel_policy ppolicy=parallel_policy()) | spot::digraph< State_Data, Edge_Data > | inline |
| state typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| state_data(state s) | spot::digraph< State_Data, Edge_Data > | inline |
| state_data(state s) const | spot::digraph< State_Data, Edge_Data > | inline |
| state_data_t typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| state_storage(state s) | spot::digraph< State_Data, Edge_Data > | inline |
| state_storage(state s) const | spot::digraph< State_Data, Edge_Data > | inline |
| state_storage_t typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| state_vector typedef (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | |
| states() const | spot::digraph< State_Data, Edge_Data > | inline |
| states() | spot::digraph< State_Data, Edge_Data > | inline |
| states_ (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | protected |
| univ_dests(state src) const (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | inline |
| univ_dests(const edge_storage_t &e) const (defined in spot::digraph< State_Data, Edge_Data >) | spot::digraph< State_Data, Edge_Data > | inline |
