Z3
- n -
Name :
FuncDecl
,
Sort
Names :
ParamDescrs
Nil :
ListSort
NilDecl :
ListSort
NoPatterns :
Quantifier
NumArgs :
Expr
,
FuncInterp.Entry
NumAssertions :
NativeSolver
,
Solver
NumBound :
Lambda
,
Quantifier
NumConstructors :
DatatypeSort
NumConsts :
Model
,
NativeModel
NumEntries :
FuncInterp
Numerator :
RatNum
NumExprs :
Goal
NumFields :
Constructor
,
TupleSort
NumFuncs :
Model
,
NativeModel
NumNoPatterns :
Quantifier
NumParameters :
FuncDecl
NumPatterns :
Quantifier
NumProbes :
Context
NumScopes :
NativeSolver
,
Solver
NumSorts :
Model
,
NativeModel
NumSubgoals :
ApplyResult
NumTactics :
Context
NumTerms :
Pattern
Generated on Mon Dec 11 2023 12:40:41 for Z3 by
1.9.3