alternating() | spot::digraph< State_Data, Edge_Data, Alternating > | inlinestatic |
chain_edges_() | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
const_iterator typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
defrag_states(std::vector< unsigned > &&newst, unsigned used_states) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
digraph(unsigned max_states=10, unsigned max_trans=0) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
dump_storage(std::ostream &o) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edge typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
edge_data(edge s) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edge_data(edge s) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edge_data_t typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
edge_storage(edge s) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edge_storage(edge s) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edge_storage_t typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
edge_vector() const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edge_vector() | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edge_vector_t typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
edges() const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edges() | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
edges_ (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | protected |
index_of_edge(const edge_storage_t &tt) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
index_of_state(const state_storage_t &ss) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
internal::edge_iterator< const digraph > (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | friend |
internal::edge_iterator< digraph > (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | friend |
internal::killer_edge_iterator< digraph > (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | friend |
is_dead_edge(unsigned t) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
is_dead_edge(const edge_storage_t &t) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
is_valid_edge(edge t) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
iterator typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
killed_edge_ (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | protected |
new_edge(state src, out_state dst, Args &&...args) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
new_state(Args &&...args) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
new_states(unsigned n, Args &&...args) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
num_edges() const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
num_states() const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
out(state src) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
out(state_storage_t &src) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
out(state src) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
out(state_storage_t &src) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
out_iteraser(state_storage_t &src) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
out_iteraser(state src) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
out_state typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
remove_dead_edges_() | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
rename_states_(const std::vector< unsigned > &newst) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
sort_edges_(Predicate p=Predicate()) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
state typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
state_data(state s) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
state_data(state s) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
state_data_t typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
state_storage(state s) | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
state_storage(state s) const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
state_storage_t typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
state_vector typedef (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | |
states() const | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
states() | spot::digraph< State_Data, Edge_Data, Alternating > | inline |
states_ (defined in spot::digraph< State_Data, Edge_Data, Alternating >) | spot::digraph< State_Data, Edge_Data, Alternating > | protected |