Z3
- n -
name() :
func_decl
,
param_descrs
,
sort
non_units() :
solver
nth() :
expr
num_args() :
expr
,
func_entry
num_consts() :
model
num_entries() :
func_interp
num_exprs() :
goal
num_funcs() :
model
num_val() :
context
numerator() :
expr
Generated on Sat Mar 27 2021 21:46:10 for Z3 by
1.8.9.1