getArgs method

List<Expr> getArgs()

The arguments of this function entry.

Implementation

List<Expr> getArgs() {
  final result = <Expr>[];
  final size = _c._z3.func_entry_get_num_args(_e);
  for (var i = 0; i < size; i++) {
    result.add(_c._getExpr(_c._z3.func_entry_get_arg(_e, i)));
  }
  return result;
}