- n -

• name() : ilang::Object , ilang::ExprRef , ilang::InstrRef , ilang::Ila , ilang::FuncRef , ilang::TraceStep
• name2loc() : ilang::VerilogInfo , ilang::VerilogAnalyzer
• New() : ilang::InstrSeq , ilang::RefinementMap , ilang::Func , ilang::RelationMap , ilang::CompRefRel , ilang::Func , ilang::SynthAbsConverter , ilang::I2JSer , ilang::Func , ilang::J2IDes , ilang::Func , ilang::ExprMngr , ilang::Instr , ilang::InstrLvlAbs
• 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::InstrLvlAbs , ilang::Ila
• NewBvState() : ilang::InstrLvlAbs , ilang::Ila
• NewChild() : ilang::InstrLvlAbs , ilang::Ila
• 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 , ilang::smt::str_iterator
• next_non_space_pos() : ilang::smt::str_iterator
• next_num() : ilang::InstrTranNode
• NextState() : ilang::IlaZ3Unroller , ilang::Unroller
• no_internal_def() : ilang::SignalInfoBase , ilang::VerilogAnalyzerBase
• NotNested() : ilang::NestedMemAddrDataAvoider
• NumInvariant() : ilang::InvariantObject