“对象”的关系覆盖？

Question

我有一个签名

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

如果我有两个实例的这个（原子？）（X，Y：测试） 我可以定义这些只有一些参数发生了变化之间的关系，而不必列出所有其他参数相等吗？

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

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

Answer 1

从我的理解对合金我想答案是不，你不能谈论的一切关系，其中一些原子参与没有明确命名这些关系。但是如果我错了，一些专家可能会纠正我。