substituteVars method
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);
}
}