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
,
Datatype
,
FuncDeclRef
,
SortRef
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
NumConsts :
Model
NumEntries :
FuncInterp
numerator() :
RatNumRef
numerator_as_long() :
RatNumRef
NumExprs :
Goal
NumFields :
Constructor
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
Generated on Sat Apr 25 2015 18:38:25 for Z3 by
1.8.9.1