Here is a list of all struct and union fields with links to the structures/unions they belong to:

- n -

• name : Datatype , func_decl , FuncDeclRef
• Name : FuncDecl
• name() : SortRef
• Name : Sort
• Names : ParamDescrs
• Nil : ListSort
• NilDecl : ListSort
• no_pattern() : QuantifierRef
• NoPatterns : Quantifier
• Not() : Context
• not() : Context
• num_args() : ExprRef , FuncEntry , expr , func_entry
• 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
• NumArgs : Expr , FuncInterp.Entry
• NumAssertions : Solver
• NumBound : Quantifier
• NumConstructors : DatatypeSort
• NumConsts : Model
• NumEntries : FuncInterp
• numerator() : RatNumRef
• Numerator : RatNum
• numerator_as_long() : RatNumRef
• NumExprs : Goal
• NumFields : Constructor , TupleSort
• NumFuncs : Model
• NumNoPatterns : Quantifier
• NumParameters : FuncDecl
• NumPatterns : Quantifier
• NumProbes : Context
• NumScopes : Solver
• NumSMTLIBAssumptions : Context
• NumSMTLIBDecls : Context
• NumSMTLIBFormulas : Context
• NumSMTLIBSorts : Context
• NumSorts : Model
• NumSubgoals : ApplyResult
• NumTactics : Context
• NumTerms : Pattern