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 > | |