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

Question

Alloy提供的实用程序模块列于此网页：

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

但是没有列出每个模块提供的操作。例如，网页上说有一个订购模块，但它没有说明订购模块提供了哪些操作。

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

Answer 1

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