- n -

• name() : wali::wfa::State
• nGraphs() : wali::graph::InterGraph
• NIL() : wali::regex::Root , wali::regex::Regex
• Node() : wali::graph::Node
• nonSummaryPoststar() : wali::wpds::fwpds::SWPDS
• nonSummaryPrestar() : wali::wpds::fwpds::SWPDS
• num_pds_states() : wali::wpds::WPDS
• numStates() : wali::wfa::WFA
• Nwa() : opennwa::Nwa