- n -

• name() : spot::acc_cond, spot::declarative_environment, spot::default_environment, spot::environment
• neg_contained() : spot::language_containment_checker
• negative_normal_form() : spot::tl_simplifier
• NegClosure() : spot::formula
• NegClosureMarked() : spot::formula
• nested_unop_range() : spot::fnode, spot::formula
• new_edge() : spot::adjlist< State_Data >, spot::digraph< State_Data, Edge_Data >
• new_state() : spot::adjlist< State_Data >, spot::digraph< State_Data, Edge_Data >, spot::twacube
• new_states() : spot::adjlist< State_Data >, spot::digraph< State_Data, Edge_Data >
• new_univ_dests() : spot::digraph< State_Data, Edge_Data >
• new_univ_edge() : spot::digraph< State_Data, Edge_Data >
• next() : spot::kripke_graph_succ_iterator< Graph >, spot::minato_isop, spot::taa_succ_iterator, spot::trans_index, spot::twa_graph_succ_iterator< Graph >, spot::twa_succ_iterator
• next_latches() : spot::aig
• next_state() : spot::twa_reachable_iterator, spot::twa_reachable_iterator_breadth_first
• node_acceptance() : spot::acd
• node_colors() : spot::acd
• node_count() : spot::acd
• node_level() : spot::acd
• Not() : spot::formula
• nth() : spot::fnode
• num_branches() : spot::zielonka_tree
• num_edges() : spot::digraph< State_Data, Edge_Data >
• num_gates() : spot::aig
• num_inputs() : spot::aig
• num_latches() : spot::aig
• num_outputs() : spot::aig
• num_roots() : spot::mtdfa
• num_sets() : spot::acc_cond, spot::twa
• num_states() : spot::digraph< State_Data, Edge_Data >, spot::mtdfa, spot::mtdswa