合金：Int字段的含義
[英]Alloy: Int meaning of field
問題描述
我看到了以下合金定義：
一個信號編號{i：Int [3]}
// Int [3]是什么意思。 我的意思是上述字段“ i”的含義是什么
1 個解決方案
解決方案1
0 已采納 2012-11-26 18:52:52
這意味着i是單例集Number與具有原子3的Int的單例子集之間的關系。 在對象表示法中，它就像Number.i = 3
Alloy中'private'關鍵字的含義？ 'enum'聲明的含義？
[英]Meaning of 'private' keyword in Alloy? Meaning of 'enum' declaration?
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.