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