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
, Datatype
, FuncDeclRef
, SortRef
- Names
: ParamDescrs
- Nil
: ListSort
- NilDecl
: ListSort
- no_pattern()
: QuantifierRef
- NoPatterns
: Quantifier
- not()
: Context
- 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_sorts()
: ModelRef
- num_val()
: context
- num_vars()
: QuantifierRef
- NumArgs
: Expr
, FuncInterp.Entry
- NumAssertions
: Solver
- NumBound
: Quantifier
- NumConstructors
: DatatypeSort
- NumConsts
: Model
- NumEntries
: FuncInterp
- Numerator
: RatNum
- numerator()
: RatNumRef
- 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