- 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