合金：是否可以检索使至少一个约束为假的“实例”

Question

我一直以相同的方式使用Alloy：要么查找给定约束集（=模型）的实例（解决方案），要么检查可以表示为断言的模型的特定属性（按顺序执行检查搜索反例）。但是，有一个新的要求引起了我两个问题：

1. 是否有可能检索与不满足Alloy模型所包含约束的变量的所有关系分配？这意味着我想收集所有不是给定Alloy模型解决方案的示例。
2. 如果是：我该怎么做？

非常感谢！

Answer 1

如果pred为模型设置了约束，则run {!pred}将查找所有违反这些约束的实例。