合金条款以获得所有订阅

问题描述

有没有办法表达 Sig2 的所有对象要么通过与 Sig1 元素的 rel 关系相关，要么是 subsig？我想要类似任一个_rel_or_subsig 的东西，但代码可能会被扩展，其他人可能会引入 SubSigC。然后，任一_rel_or_subsig 将禁止任何 SubSigC 对象。

module test

sig Sig1 {}

sig Sig2 {
  rel: lone Sig1    
}

sig SubSigA extends Sig2 {}
sig SubSigB extends Sig2 {}

fact either_rel_or_subsig{Sig2 in rel.Sig1 + SubSigA + SubSigB}

run {}

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）