问我如何在kframework的一条规则中“要求”两件事呢？
EN

Stack Overflow用户

提问于 2020-04-09 01:35:19

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

我想在一条规则中“要求”两件事。我写了一些类似这样的东西

rule left => right
  requires notBool(X in keys(A))
  requires notBool(L in keys(B))

但它不起作用。在K中有没有一种方法可以在一个规则上设置多个约束？

发布于 2020-04-09 01:47:34

您需要使用布尔值and运算符分隔布尔条件，我们将其编写为andBool。下面的代码应该可以工作：

rule left => right
  requires notBool(X in keys(A))
   andBool notBool(L in keys(B))

票数 3

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

原文链接：

https://stackoverflow.com/questions/61106612

复制

相似问题

问我如何在kframework的一条规则中“要求”两件事呢？EN