- n -

• neg() : Minisat
• new_var() : smtrat::covering_ng::formula
• nonConstIrreducibleFactors() : smtrat::mcsat::onecellcad
• normalize() : smtrat::cad::projection , smtrat::covering_ng::formula::pp , smtrat::subtropical
• num_occurrences() : smtrat::mcsat::variableordering::detail
• num_vars() : smtrat::covering_ng::formula::complexity::features