如何解决合金条款以获得所有订阅
有没有办法表达 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 举报,一经查实,本站将立刻删除。