Z3
- n -
name() :
func_decl
,
param_descrs
,
sort
,
FuncDeclRef
,
SortRef
no_pattern() :
QuantifierRef
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
numerator() :
RatNumRef
numerator_as_long() :
RatNumRef
Generated on Sat Nov 12 2016 22:01:30 for Z3 by
1.8.12