Alloy Alias命名空间在Alloy 4中

Question

让我说我做了以下事情：

open util/ordering[A]
open util/ordering[B]

订购/首次具有什么价值？这是不确定的？您是否需要使用模块别名来消除歧义？

Answer 1

是的，您应该使用别名，例如，如下所示

open util/ordering[A] as orda
open util/ordering[B] as ordb

sig A{}
sig B{}

sig C {
   firstA: A,
   firstB: B
} {
   firstA = orda/first
   firstB = ordb/first
}

run {one C}