Here is a list of all struct and union fields with links to the structures/unions they belong to:
- n -
- name() : func_decl, param_descrs, sort, Datatype, FuncDeclRef, SortRef
- nand : expr
- next() : Solver
- next_split() : user_propagator_base, UserPropagateBase
- no_pattern() : QuantifierRef
- non_units() : solver, Solver
- nor : expr
- 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_parameters() : func_decl
- num_patterns() : QuantifierRef
- num_scopes() : Solver
- num_sorts() : ModelRef
- num_val() : context
- num_vars() : QuantifierRef
- numerator() : expr, RatNumRef
- numerator_as_long() : RatNumRef