0

次の Alloy 定義を見ました。

1 つの署名番号 { i:Int[3]}

// Int[3] の意味。上記のフィールド「i」の意味は何ですか

4

1 に答える 1

0

これは、アトムを持つの単集合と単集合サブセットのi間の関係であることを意味します。オブジェクト表記では、次のようになりますNumberInt3Number.i = 3

于 2012-11-26T18:52:52.727 に答える