java - java中遍历z3 ast

Question

虽然我可以看到 C++ 中存在 Z3 AST 的遍历(在 question 中概述)，但我在 Java api 中找不到其等效方法，有没有一种方法可以在中遍历 Z3 AST Java？

谢谢!

Answer 1

我想相关的函数可以在这里找到:https://github.com/Z3Prover/z3/blob/master/src/api/java/Expr.java

(我不是 Java 程序员，我自己也没有使用过这些；所以对此持保留态度!)