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
- no_pattern()
: QuantifierRef
- nor
: expr
- not()
: Context
- 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
- numerator()
: expr
, RatNumRef
- numerator_as_long()
: RatNumRef