虽然我可以看到在C ++中存在遍历Z3 AST（在这个question中概述），我在Java api中找不到它的等效方法，有没有办法在Java中遍历Z3 AST？
谢谢！
我认为相关的功能在这里找到：https://github.com/Z3Prover/z3/blob/master/src/api/java/Expr.java
（我不是Java程序员，也不是我自己使用过的;所以带上一点点盐！）