Here is a list of all documented class members with links to the class documentation for each member:

- n -

• n : spot::couvreur99_check_shy::todo_item
• n_ : spot::barand< gen >
• name() : spot::acc_cond , spot::declarative_environment , spot::default_environment , spot::ec_stats , spot::environment , spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > , spot::random_formula::op_proba , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock > , spot::temporary_file
• name_ : spot::temporary_file
• name_state_map_ : spot::taa_tgba_labelled< label >
• name_to_state : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• name_to_state_t : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• named_graph() : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• named_prop_ : spot::twa
• namer : spot::twa_graph
• names : spot::mtdfa , spot::mtdswa , spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• names_ : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >
• nb_edges_created : spot::to_parity_data
• nb_states_created : spot::to_parity_data
• nca_st_info() : spot::nca_st_info
• neg_contained() : spot::language_containment_checker
• negative_normal_form() : spot::tl_simplifier
• nenoform_stop_on_boolean : spot::tl_simplifier_options
• nested_unop_range() : spot::fnode , spot::formula
• new_acc_edge() : spot::twa_graph
• new_dests() : spot::outedge_combiner
• new_edge() : spot::adjlist< State_Data > , spot::backprop_graph , spot::digraph< State_Data, Edge_Data > , spot::kripke_graph , spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > , spot::twa_graph
• new_state() : spot::adjlist< State_Data > , spot::backprop_graph , spot::digraph< State_Data, Edge_Data > , spot::kripke_graph , spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > , spot::twa_graph , spot::twacube
• new_states() : spot::adjlist< State_Data > , spot::digraph< State_Data, Edge_Data > , spot::kripke_graph , spot::twa_graph
• new_univ_dests() : spot::digraph< State_Data, Edge_Data >
• new_univ_edge() : spot::digraph< State_Data, Edge_Data > , spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > , spot::twa_graph
• next() : spot::cspins_iterator , spot::edge_separator_filter< subsumed >::iterator , spot::kripke_graph_succ_iterator< Graph > , spot::minato_isop , spot::randltlgenerator , spot::taa_succ_iterator , spot::trans_index , spot::twa_graph_succ_iterator< Graph > , spot::twa_succ_iterator
• next_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element , spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
• next_latches() : spot::aig
• next_latches_ : spot::aig
• next_run() : spot::lasso_enumerator
• next_set() : spot::ltl_to_tgba_fm_otf
• next_sibling : spot::zielonka_tree::zielonka_node
• next_state() : spot::twa_reachable_iterator , spot::twa_reachable_iterator_breadth_first
• next_word() : spot::lasso_enumerator
• node() : spot::scc_info
• node_ : spot::scc_info
• node_acceptance() : spot::acd
• node_colors() : spot::acd
• node_count() : spot::acd
• node_level() : spot::acd
• nodes : spot::mtdfa_stats
• nodes_ : spot::zielonka_tree
• ns_map : spot::taa_tgba_labelled< label >
• nth() : spot::fnode
• nthreads() : spot::parallel_policy
• num : spot::couvreur99_check_shy
• num_ : spot::acc_cond
• num_branches() : spot::zielonka_tree
• num_edges() : spot::adjlist< State_Data > , spot::backprop_graph , spot::digraph< State_Data, Edge_Data > , spot::kripke_graph , spot::twa_graph , spot::twacube
• num_gates() : spot::aig
• num_inputs() : spot::aig
• num_inputs_ : spot::aig
• num_latches() : spot::aig
• num_latches_ : spot::aig
• num_outputs() : spot::aig
• num_outputs_ : spot::aig
• num_roots() : spot::mtdfa , spot::mtdswa , spot::mtdtwa
• num_sets() : spot::acc_cond , spot::twa
• num_states() : spot::adjlist< State_Data > , spot::digraph< State_Data, Edge_Data > , spot::kripke_graph , spot::mtdfa , spot::mtdswa , spot::twa_graph , spot::twacube