substituteVars method

AST substituteVars(
  1. AST ast,
  2. List<AST> to
)

Implementation

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