【发布时间】：2014-03-13 11:31:09
【问题描述】：
我可以这样写吗：
对于 (i = 1; i
当()
【问题讨论】：
标签： alloy
【发布时间】：2014-03-13 11:31:09
【问题描述】：
不，Alloy 中没有循环、循环、迭代、赋值或任何其他命令式构造。
【讨论】：
-
那么有没有办法用循环来模拟一个简单的程序呢？假设 int sum =0; for (int i =0;i
【发布时间】：2014-03-13 11:31:09
【问题描述】：