如何在 CPN Tools(ML) 中对产品列表进行排序？答案

【问题标题】：How to sort a list of product in CPN Tools(ML)?如何在 CPN Tools(ML) 中对产品列表进行排序？
【发布时间】：2013-06-09 15:31:45
【问题描述】：

以上帝的名义
我有一个 colset colset process_list = list process; 其中 process 代表此声明：colset process = product ratio*ID*wait_time*e_runtime; 并且此 colset 中所有使用的 colset 都是 INT 类型。

现在的问题是我找不到对这个列表进行排序的方法。有谁能够帮我？我会很感激的。

【问题讨论】：

您尝试了什么来解决您的问题。如果您说找不到方法，您搜索了什么。
我用过“fun sort_list(pl) = sort priority.lt (pl);”作为朋友的推荐，但它不起作用
“对不起，我迟到了”，但是..刚刚回答了你的问题（：

标签： list sorting product sml ml

【解决方案1】：

4 年后，文档：

colset process = product ratio*ID*wait_time*e_runtime;
colset process_list = list process;

fun pass_list ((rt1,id1,wt1,er1), (rt2,id2,wt2,er2)) = id1 < id2;
fun sort_list (pl) = sort pass_list pl;

【讨论】：