在 java 中遍历 z3 ast
Traversing z3 ast in java
虽然我可以看到在 C++ 中存在对 Z3 AST 的遍历（在此 中概述），但我在 Java api 中找不到它的等效方法，是有一种方法可以在 Java?
中遍历 Z3 AST
谢谢！
我想相关的函数可以在这里找到：https://github.com/Z3Prover/z3/blob/master/src/api/java/Expr.java
（我不是 Java 程序员，我自己也没有使用过这些；所以请三思而后行！）
虽然我可以看到在 C++ 中存在对 Z3 AST 的遍历（在此
谢谢！
我想相关的函数可以在这里找到：https://github.com/Z3Prover/z3/blob/master/src/api/java/Expr.java
（我不是 Java 程序员，我自己也没有使用过这些；所以请三思而后行！）