'objects' 上的关系覆盖？

Question

我有签名

sig Test {
    a: Int,
    b: Int,
    c: Int
}

如果我有这个 (x,y:Test) 的两个实例（原子？） 我可以定义它们之间的关系，其中只有一些参数发生了变化，而不必将所有其他参数都列为相等吗？

我想避免必须列出所有未更改的字段 因为假设我有很多字段，这很容易出错。

目前我正在使用 x.(a+b+c) = y.(a+next[b]+c) 但我想使用类似 x = y ++ (b->next[y.b])

的东西

Answer 1

根据我对 Alloy 的了解，我认为答案是否定的：你不能在不明确命名这些关系的情况下谈论涉及某个原子的所有关系。但如果我错了，一些专家可能会纠正我。