Here is a list of all functions with links to the classes they belong to:

- n -

• name_of() : lala::VarEnv< Allocator >
• NBitset() : lala::NBitset< N, Mem, T >
• neg() : lala::Interval< U >, lala::NBitset< N, Mem, T >
• next() : lala::ArithBound< PreUniverse, Mem >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreZLB< VT >, lala::PreZUB< VT >
• num_abstract_doms() : lala::VarEnv< Allocator >
• num_deductions() : lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• num_eliminated_formulas() : lala::Simplifier< A, Allocator >
• num_eliminated_variables() : lala::Simplifier< A, Allocator >
• num_suberrors() : lala::IDiagnostics
• num_vars() : lala::VarEnv< Allocator >
• num_vars_in() : lala::VarEnv< Allocator >