updateTerm method

AST updateTerm(
  1. AST ast,
  2. List<AST> args
)

Implementation

AST updateTerm(AST ast, List<AST> args) {
  final argsPtr = calloc<Z3_ast>(args.length);
  try {
    for (var i = 0; i < args.length; i++) {
      argsPtr[i] = _createAST(args[i]);
    }
    final result = _z3.update_term(_createAST(ast), args.length, argsPtr);
    return _getAST(result);
  } finally {
    malloc.free(argsPtr);
  }
}