Z3 |

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

### - n -

- Name : FuncDecl, Sort
- name() : func_decl, param_descrs, sort, Datatype, FuncDeclRef, SortRef
- Names : ParamDescrs
- nand : expr
- nCtx() : Context
- Nil : ListSort
- NilDecl : ListSort
- no_pattern() : QuantifierRef
- non_units() : solver, Solver
- NoPatterns : Quantifier
- nor : expr
- not() : Context
- Not() : Context
- nth() : expr
- num_args() : expr, func_entry, ExprRef, FuncEntry
- 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_scopes() : Solver
- num_sorts() : ModelRef
- num_val() : context
- num_vars() : QuantifierRef
- NumArgs : Expr, FuncInterp.Entry
- NumAssertions : Solver
- NumBound : Lambda, Quantifier
- NumConstructors : DatatypeSort
- NumConsts : Model
- NumEntries : FuncInterp
- Numerator : RatNum
- numerator() : expr, RatNumRef
- numerator_as_long() : RatNumRef
- NumExprs : Goal
- NumFields : Constructor, TupleSort
- NumFuncs : Model
- NumNoPatterns : Quantifier
- NumParameters : FuncDecl
- NumPatterns : Quantifier
- NumProbes : Context
- NumScopes : Solver
- NumSorts : Model
- NumSubgoals : ApplyResult
- NumTactics : Context
- NumTerms : Pattern