有没有会用 Alloy 的？求教~

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

V2EX 提问指南

这是一个创建于 3671 天前的主题，其中的信息可能已经有所发展或是发生改变。

4 条回复 • 2014-11-07 13:35:53 +08:00

casparchen

2014-11-07 02:20:12 +08:00

问题呢?

SharkIng

2014-11-07 03:32:25 +08:00

@casparchen
http://research.cs.queensu.ca/~cisc422/2014f/assignments/A3/a3.html

就是一点都不会，老师让做这个.....
我看了好多资料和书都做不出来

怎么做 At least 4呢？

casparchen

2014-11-07 12:18:33 +08:00

pred Show() {
#Node = 4
}
#id就是限制某个实例的个数

SharkIng

2014-11-07 13:35:53 +08:00

@casparchen 好的我试试