kframework - "requires"和 "when"侧边条件的区别

Question

例如，如果我有一些规则 rule <k> foo bar => baz </k> <barList> bars </barList>我只想在 bar 时加热规则在我的列表中 bars我相信我会添加 requires bar in bars或 when bar in bars .我一直在用when作为我的首选，但阅读 K 手册未决文档似乎是 requires可能是首选。两者似乎都意味着“如果满足此条件，则仅加热此规则”，因此我不清楚 requires 之间的区别是什么和 when以及在什么情况下使用哪个。谢谢!

Answer 1

when和 requires是同义词，但 when被认为已弃用，因此请使用 requires反而。