Alloy 中的断言和未参数化谓词有什么区别？
What is the difference between assertions and unparameterized predicates in Alloy?
Alloy 中的断言和未参数化谓词之间有区别吗？您可以对未参数化的谓词和断言使用“检查”命令来查找给定约束的反例。这两个结构本质上是一样的吗？如果是这样，为什么该语言有两个用于相同目的的结构？
assert 来自 alloy 的早期版本，在您可以 check 谓词之前。从 Alloy 4 开始，对谓词的限制已被删除，没有理由在新规范中使用 assert 语句。
Alloy 中的断言和未参数化谓词之间有区别吗？您可以对未参数化的谓词和断言使用“检查”命令来查找给定约束的反例。这两个结构本质上是一样的吗？如果是这样，为什么该语言有两个用于相同目的的结构？
assert 来自 alloy 的早期版本，在您可以 check 谓词之前。从 Alloy 4 开始，对谓词的限制已被删除，没有理由在新规范中使用 assert 语句。