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