- 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