unified domain的实现？

[JTShuai]

Hi，感谢开源这么好的工作！👍

我在看代码时，没有找到将 atomic domains 聚合成 unified domain 的相关实现，所以想请教一下：

• 这部分代码目前还没有上传吗？请问能否分享一下？
• 如果已经包含在仓库中，能否帮忙指一下是在哪个函数或模块里实现的？

感谢！cheers!

[SII-Melancholy]

@JTShuai

你好！感谢你的关注和认可！👍

正如在论文中所提到的，将 atomic domains 聚合成 unified domain 的方法其实非常直接：我们主要是根据 name，将所有 atomic domains 中的 predicates 和 operators 进行了 union 操作。因为这部分代码逻辑很简单，所以在目前的仓库中没有单独作为一个模块提供。

希望这能解答你的疑惑，如果还有问题随时沟通！Cheers! 🍻

---

Hi! Thanks for your interest! 👍

As mentioned in our paper, aggregating atomic domains into a unified domain is quite straightforward: we simply take the union of all predicates and operators from the atomic domains by their names. Because this implementation is very simple, we didn't include it as a separate module in the current codebase.

Hope this clarifies your question. Feel free to let me know if you need any further details! Cheers! 🍻