流口水中存在状况

Question

上下文是在OptaPlanner中采用Drools规则进行员工轮班安排。假设我有一些班次，并且需要检查是否有任何班次在要分配的预定义班次列表中。后面要分配的班次列表为[S1,S2,S3]；我需要满足以下条件（我使用冒号作为“ such that”）：

exists s in [S1,S2,S3] : forall shift (shift != s)

我如何在Drools中实施这样的规则？

Answer 1

not Shift( shift memberOf [S1, S2, S3] )

不确定列表文字[S1, S2, S3]是否与Drools兼容，但我认为它将是动态的东西将被插入到工作内存中。