雖然我可以看到 C++ 中存在對 Z3 AST 的遍歷（在這個問題中概述），但我在 Java api 中找不到它的等效方法，有沒有辦法可以在 Java 中遍歷 Z3 AST？
1 回答
慕村225694
TA貢獻1880條經(jīng)驗 獲得超4個贊
我認(rèn)為相關(guān)功能可以在這里找到：https ://github.com/Z3Prover/z3/blob/master/src/api/java/Expr.java
（我不是 Java 程序員，我自己也沒有使用過這些；所以請謹(jǐn)慎對待?。?/p>
添加回答
舉報
0/150
提交
取消