| alias_state(state s, name newname) | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| edge typedef | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | |
| g_ | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | protected |
| get_name(state s) const | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| get_state(name n) const | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| graph() | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| graph() const | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| has_state(name n) const | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| name typedef | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | |
| name_to_state | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | |
| name_to_state_t typedef | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | |
| named_graph(Graph &g) | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| names() const | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| new_edge(name src, name dst, Args &&... args) | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| new_state(name n, Args &&... args) | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| new_univ_edge(name src, I dst_begin, I dst_end, Args &&... args) | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| new_univ_edge(name src, const std::initializer_list< State_Name > &dsts, Args &&... args) | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | inline |
| state typedef | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | |
| state_to_name | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | |
| state_to_name_t typedef | spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > | |
