- n -

• name() : func_decl , SortRef , FuncDeclRef
• no_pattern() : QuantifierRef
• Not() : Context
• not() : Context
• num_args() : func_entry , ExprRef , FuncEntry , expr
• num_constructors() : DatatypeSortRef
• num_consts() : model
• num_entries() : func_interp , FuncInterp
• num_exprs() : goal
• num_funcs() : model
• num_no_patterns() : QuantifierRef
• num_patterns() : QuantifierRef
• num_sorts() : ModelRef
• num_val() : context
• num_vars() : QuantifierRef
• numerator() : RatNumRef
• numerator_as_long() : RatNumRef