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的理解，我认为答案是否定的：你不能在没有明确命名这些关系的情况下谈论涉及某个原子的所有关系。但如果我错了，一些专家可能会纠正我。