每个 Alloy 实用程序模块的操作是什么？

Question

本网页列出了Alloy提供的实用模块：

http://alloy.mit.edu/alloy/documentation/quickguide/util.html

但这并没有列出每个模块提供的操作。比如网页上说有排序模块，但是并没有说排序模块提供了哪些操作。

每个模块的操作记录在哪里？

Answer 1

只需在分析器中打开它们（在“文件”|“打开示例模型”下），您就可以看到列出的所有操作以及对每个操作进行解释的注释。