在 Rascal 中迭代地图答案

【问题标题】：Iterate over a map in Rascal在 Rascal 中迭代地图
【发布时间】：2020-08-24 22:23:14
【问题描述】：

我正在尝试在此结构中的地图上创建地图理解：

map[Node, set[Node]]

我的地图理解是这样的：

(currentNode: {currentNode} | <currentNode, _> <- dominanceSet);

但是我收到了这个错误：

有没有办法使用另一种策略来实现类似的行为？

【问题讨论】：

【解决方案1】：

Rascal 中的地图生成器生成键值（而不是某种形式的“条目”或元组）。

所以代码是：

(currentNode: {currentNode} | currentNode <- dominanceSet)

请注意，标准库中有一些专门的函数可以更快地建立索引关系，例如在Relations 中有map[&K, set[&V]] index(rel[&K, &V] R);

【讨论】：