在Java中遍历z3 ast

Question

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

谢谢！

Answer 1

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

（我不是Java程序员，也不是我自己使用过这些；所以请耐心等待！）