标签： alloy
我是合金的初学者，在一些基本模型上工作。我试图使用前置条件的功能。但是，我想使用布尔结果而不是书中提到的包含在集合中的想法。这可能吗？如果是这样，实现这个的最佳方法是什么？
例： 函数（x，y，z） - ＆gt; ž pre：pred（x）/ \ pred（y） 发布：pred（z）
谢谢， 塞特