Alloy5 中的默认 运行 命令：Alloy4 中的等效命令是什么？
Default Run Command in Alloy5: what's the equivalent in Alloy4?
我正在参加项目考试，当我切换到 Alloy4 时，无法理解 Alloy5 中的默认 运行 命令等效于什么。
大家可以看到，如果我在Alloy5中写了一个模型，而不是一个命令（没有检查没有运行），如果我点击'Execute'，它会执行以下命令：
"Run Default for 4 but 4 int, 4 seq expect 1"
这满足了我项目的使命：检查所描述的模型是否有实例。无需检查属性或其他内容。只要有实例就好了。
在 Alloy4 中，如果我单击 'Execute'，它会告诉我 "No commands defined"，因此没有预定义的 运行 命令。
我的问题是：Alloy5-Default-运行-Command 在 Alloy4 中的等效项是什么？
我快要疯了，因为我必须在 Alloy4 API（在 Java）上工作并且不知道如何解决这个问题（因为 isSolvable() 不起作用如果我不在模型中放置命令）。
以下应该有效：
run {} for 4
我正在参加项目考试，当我切换到 Alloy4 时，无法理解 Alloy5 中的默认 运行 命令等效于什么。
大家可以看到，如果我在Alloy5中写了一个模型，而不是一个命令（没有检查没有运行），如果我点击'Execute'，它会执行以下命令： "Run Default for 4 but 4 int, 4 seq expect 1" 这满足了我项目的使命：检查所描述的模型是否有实例。无需检查属性或其他内容。只要有实例就好了。
在 Alloy4 中，如果我单击 'Execute'，它会告诉我 "No commands defined"，因此没有预定义的 运行 命令。
我的问题是：Alloy5-Default-运行-Command 在 Alloy4 中的等效项是什么？
我快要疯了，因为我必须在 Alloy4 API（在 Java）上工作并且不知道如何解决这个问题（因为 isSolvable() 不起作用如果我不在模型中放置命令）。
以下应该有效：
run {} for 4