Z3
- n -
Name :
FuncDecl
,
Sort
Names :
ParamDescrs
Nil :
ListSort
NilDecl :
ListSort
NoPatterns :
Quantifier
NumArgs :
Expr
,
FuncInterp.Entry
NumAssertions :
Solver
NumBound :
Lambda
,
Quantifier
NumConstructors :
DatatypeSort
NumConsts :
Model
NumEntries :
FuncInterp
Numerator :
RatNum
NumExprs :
Goal
NumFields :
Constructor
,
TupleSort
NumFuncs :
Model
NumNoPatterns :
Quantifier
NumParameters :
FuncDecl
NumPatterns :
Quantifier
NumProbes :
Context
NumScopes :
Solver
NumSorts :
Model
NumSubgoals :
ApplyResult
NumTactics :
Context
NumTerms :
Pattern
Generated on Sat Jun 4 2022 15:24:59 for Z3 by
1.9.3