0

我正在处理需要设计以从其中一个工作簿更新谓词@master 的要求。因此，我在为用户操作调用的非活动块中添加了以下逻辑。

+predicate2@master[x,y] = flag <- predicate1@prev[x,y] = flag,flag = true。

请注意，一旦将谓词 1 复制到主副本中的谓词 2，我需要从谓词 1 中删除事实。

编译此逻辑时，出现以下错误。

块block_4SZVZ9DO：第24行：错误：'predicate2@master'的阶段'master'早于运行阶段'INITIAL'；不允许为过去阶段推导事实（代码：STAGE_PAST）+predicate2@master[x,y] = flag

请帮助从工作簿中更新 Master 中的谓词。

谢谢，森希尔维尔

4

1 回答 1

1

问题是更新谓词@branch 的逻辑必须在该分支上执行。对于您的逻辑，您需要在主服务器上执行它。似乎您正在执行工作簿上的逻辑，而不是主控，对吧？

我认为一个更大的问题是你是否需要编写这个逻辑。我们从工作簿更新 master 的机制是通过工作簿框架提供的“提交”服务调用。你试过使用它吗？或者它不能以某种方式满足您的需求？

于 2016-06-09T19:55:29.127 回答