问Rascal中LabeledGraph的类型参数
EN

Stack Overflow用户

提问于 2016-10-06 00:47:07

回答 1查看 32关注 0票数 1

请考虑以下几点：

rascal>import analysis::graphs::LabeledGraph;
ok
rascal>LGraph[str,str,str] lg = {<"1","2","3">};
LGraph[str,str]: {<"1","2","3">}

为什么最后一行中只列出了两个LGraph类型参数？

发布于 2016-10-06 01:08:06

LGraph的定义是

alias LGraph[&T,&L] = rel[&T from, &L label, &T to];

因为它只有两个类型参数--一个用于节点类型，另一个用于标签类型--所以它忽略了lg声明中给出的第三个参数。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/39879598

复制

相似问题

问Rascal中LabeledGraph的类型参数EN