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

- n -

• name() : spot::acc_cond, spot::declarative_environment, spot::default_environment, spot::environment, spot::lpar13< State, SuccIterator, StateHash, StateEqual >, 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
• named_graph() : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• names() : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• nca_st_info() : spot::nca_st_info
• neg_contained() : spot::language_containment_checker
• negative_normal_form() : spot::tl_simplifier
• 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_latches() : spot::aig
• next_run() : spot::lasso_enumerator
• next_set() : spot::ltl_to_tgba_fm_otf
• next_state() : spot::twa_reachable_iterator, spot::twa_reachable_iterator_breadth_first
• next_word() : spot::lasso_enumerator
• node() : spot::scc_info
• node_acceptance() : spot::acd
• node_colors() : spot::acd
• node_count() : spot::acd
• node_level() : spot::acd
• nth() : spot::fnode
• nthreads() : spot::parallel_policy
• 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_latches() : 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