在java中遍历z3 ast

Question

虽然我可以看到 C++ 中存在对 Z3 AST 的遍历（在这个问题中概述），但我在 Java api 中找不到它的等效方法，有没有办法可以在 Java 中遍历 Z3 AST？

Answer 1

我认为相关功能可以在这里找到：https ://github.com/Z3Prover/z3/blob/master/src/api/java/Expr.java

（我不是 Java 程序员，我自己也没有使用过这些；所以请谨慎对待！）