optaplanner：口水规则在求解过程中不开火，只有在求解之后才开火

Question

我正在开发一个类似于optaplanner中护士排班示例的求解器（员工被分配到轮班，员工是计划变量，轮班是计划实体），只不过轮班被拆分为1小时间隔，一个员工每天可以工作多个轮班。

其中一个硬限制是每个雇员每月只能工作一个设定的小时数。我目前使用以下规则对此进行建模，并且它起作用：

rule "At most 173h work per month per fulltime employee, assuming roster is only for 1 month"
when
    $e: Employee(type == EmployeeType.FULLTIME)
    $total  : Number(intValue() > 10320) 
              from accumulate(
                            Shift(employee == $e,
                            $minutes : getTimeSlot().getMinutesInterval()),
                            sum($minutes))
then
    scoreHolder.addHardConstraintMatch(kcontext, -1);
end

为此，我给每个员工一个对象（stats）来跟踪这些信息。对象在Shift对象的setEmployee方法期间更新，如下所示：

public void setEmployee(Employee employee) {
    if(this.employee != null){
        this.employee.getStats().subtractWorkedMinutes(this.timeSlot);
    }
    this.employee = employee;
    if(this.employee != null){
        this.employee.getStats().addWorkedMinutes(this.timeSlot);
    }
}

我还实现了EmployeeChangeMove和ShiftAssignmentSwapMove，就像nurse scheduling示例中一样，以确保每个移动都调用setEmployee（）方法，因此应该更改employee统计信息。现在，我想在规则中使用这些递增计算的员工统计数据，如下所示：

rule "At most 173h work per month per fulltime employee, assuming roster is only for 1 month"
when
    Employee(type == EmployeeType.FULLTIME,
      getStats().getTotalMinutesWorked() > 10320)                    
then
    scoreHolder.addHardConstraintMatch(kcontext, -1);
end

然而，我遇到的问题是，这些规则在求解过程中从未被激发，并且在计算分数时没有被求解器考虑。只有在求解器完成并且我从解决方案生成一个新的ScoreDirector以获得ConstraintMatchTotal对象之后，规则才是实际激发的，并且显示为违反的规则。

我做错了什么？

在求解过程中跟踪变化的变量以在约束规则中使用它们的最佳方法是什么？

Answer 1

当Shift.Employee被OptaPlanner修改时，Drools被告知Shift被修改了（因此它可以进行增量分数计算）。Drools没有被告知员工也被修改了...

解决方案：使Employee.stats成为影子变量。

Employee应该是一个阴影@PlanningEntity，它的stats字段应该是一个@CustomShadowVariable，它的源是setEmployeeShift.Employee，它的侦听器在Shift.setEmployee中执行代码，这样setEmployee就可以再次成为一个简单的setter。

不要忘记在求解器配置中将Employee注册为计划实体，除非它正在进行扫描。