menu
fixed_z3 package
documentation
z3.dart
FuncInterp
getArity method
getArity method
dark_mode
light_mode
getArity
method
int
getArity
(
)
Gets the arity of this function.
Implementation
int getArity() { return _c._z3.func_interp_get_arity(_f); }
fixed_z3 package
documentation
z3
FuncInterp
getArity method
FuncInterp class