Z3Java绑定是否具有与python相同的get_vars（）API？_Java_Z3

Z3Java绑定是否具有与python相同的get_vars（）API？

java z3

Z3Java绑定是否具有与python相同的get_vars（）API？,java,z3,Java,Z3,想知道Z3 java绑定是否有get_vars（）API来获取公式中的所有变量？不确定这个问题是关于什么的。我刚刚检查过，Z3 Python API中似乎没有get_vars（）函数。您是在谈论Python内置函数vars（），该函数可用于获取类变量等？您是在寻找从给定表达式中提取所有“变量”（量化变量或常量函数应用程序）列表的函数吗？据我所知，这两个API都没有提供，但通过遍历EXPR很容易实现。@ChristophWintersteiger，正如本文所述。这只是Python API的外部贡献

想知道Z3 java绑定是否有get_vars（）API来获取公式中的所有变量？

不确定这个问题是关于什么的。我刚刚检查过，Z3 Python API中似乎没有get_vars（）函数。您是在谈论Python内置函数vars（），该函数可用于获取类变量等？您是在寻找从给定表达式中提取所有“变量”（量化变量或常量函数应用程序）列表的函数吗？据我所知，这两个API都没有提供，但通过遍历EXPR很容易实现。@ChristophWintersteiger，正如本文所述。这只是Python API的外部贡献，在其他API中不可用。尽管如此，这个特殊的函数可以在Java中非常类似地实现。