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

- n -

• name() : ilang::Object , ilang::ExprRef , ilang::InstrRef , ilang::Ila , ilang::FuncRef , ilang::TraceStep
• name2loc() : ilang::VerilogInfo , ilang::VerilogAnalyzer
• name_decl_buffer_t : ilang::VerilogAnalyzer , ilang::VerilogAnalyzerBase , ilang::VerilogInfo
• name_insts_ast_map_t : ilang::VerilogAnalyzer
• name_insts_map_t : ilang::VerilogAnalyzer , ilang::VerilogAnalyzerBase , ilang::VerilogInfo
• name_module_ast_map_t : ilang::VerilogAnalyzer
• name_module_map : ilang::VerilogAnalyzer
• name_names_map_t : ilang::VerilogAnalyzer , ilang::VerilogAnalyzerBase , ilang::VerilogInfo
• name_type_buffer_t : ilang::VerilogAnalyzer , ilang::VerilogAnalyzerBase , ilang::VerilogInfo
• named_parameter_dict_t : ilang::VerilogConstantExprEval
• nested_finder_ : ilang::MemoryModel
• New() : ilang::InstrLvlAbs , ilang::InstrSeq , ilang::RefinementMap , ilang::RelationMap , ilang::CompRefRel , ilang::SynthAbsConverter , ilang::I2JSer , ilang::J2IDes , ilang::Func , ilang::ExprMngr , ilang::Instr
• new_id() : ilang::VerilogGeneratorBase
• new_mapping_id() : ilang::VlgSglTgtGen
• new_property_id() : ilang::VlgSglTgtGen
• NewBoolFreeVar() : ilang::InstrLvlAbs
• NewBoolInput() : ilang::InstrLvlAbs , ilang::Ila
• NewBoolState() : ilang::Ila , ilang::InstrLvlAbs
• NewBvFreeVar() : ilang::InstrLvlAbs
• NewBvInput() : ilang::Ila , ilang::InstrLvlAbs
• NewBvState() : ilang::InstrLvlAbs , ilang::Ila
• NewChild() : ilang::Ila , ilang::InstrLvlAbs
• NewFreeVar() : ilang::Unroller
• NewInstr() : ilang::InstrLvlAbs , ilang::Ila
• NewMemFreeVar() : ilang::InstrLvlAbs
• NewMemInput() : ilang::InstrLvlAbs
• NewMemState() : ilang::InstrLvlAbs , ilang::Ila
• next() : ilang::smt::str_iterator , ilang::InstrTranNode
• next_non_space_pos() : ilang::smt::str_iterator
• next_num() : ilang::InstrTranNode
• NextState() : ilang::Unroller , ilang::IlaZ3Unroller
• nmap : ilang::VerilogGeneratorBase
• no_internal_def() : ilang::SignalInfoBase , ilang::VerilogAnalyzerBase
• no_outside_var_refer : ilang::smt::SmtlibInvariantParser
• no_reset_after_starting_state : ilang::VlgTgtSupplementaryInfo::reset_config_t
• NotNested() : ilang::NestedMemAddrDataAvoider
• NumInvariant() : ilang::InvariantObject
• NumOfDesignStateBits : ilang::DesignStatistics
• NumOfDesignStateVars : ilang::DesignStatistics
• NumOfExtraStateBits : ilang::DesignStatistics
• NumOfExtraStateVars : ilang::DesignStatistics