新增Mold规划变量后OptaPlanner硬约束失效求助

核心原因推测 #

新增Mold规划变量后约束失效，最可能的原因是规划变量与值范围提供者的绑定出现歧义，或约束依赖的方法/字段访问存在问题，导致约束无法正确检测到冲突。

具体排查与修复步骤 #

1. 明确规划变量与值范围的绑定关系

当存在多个@ValueRangeProvider时，未指定唯一ID和引用会导致OptaPlanner自动匹配时出现歧义，尤其是新增不同类型的变量后。

• 修改TimeTable类的@ValueRangeProvider，添加唯一ID：

@PlanningSolution
public class TimeTable {

    @ValueRangeProvider(id = "timeslotRange")
    @ProblemFactCollectionProperty
    private List<Cycle> timeslotList;

    @ValueRangeProvider(id = "machineRange")
    @ProblemFactCollectionProperty
    private List<Machine> machineList;

    @ValueRangeProvider(id = "moldRange")
    @ProblemFactCollectionProperty
    private List<Mold> moldList;

    // 其他字段...
}

• 修改Job类的@PlanningVariable，指定对应的引用：

@PlanningEntity
public class Job {

    // 其他字段...

    @PlanningVariable(nullable = true, valueRangeProviderRefs = "timeslotRange")
    private Cycle timeslot;

    @PlanningVariable(nullable = true, valueRangeProviderRefs = "machineRange")
    private Machine machine;

    @PlanningVariable(nullable = true, valueRangeProviderRefs = "moldRange")
    private Mold mold;

    // 其他代码...
}

2. 确保约束能正确访问规划变量

检查Job类是否为私有规划变量提供了getter方法，ConstraintStream依赖方法引用来获取变量值，缺少getter会导致约束无法生效：

@PlanningEntity
public class Job {

    // 其他字段...

    public Cycle getTimeslot() {
        return timeslot;
    }

    public Machine getMachine() {
        return machine;
    }

    public Mold getMold() {
        return mold;
    }

    // 其他代码...
}

3. 强制作业分配必要的规划变量

你的场景中每个作业必须分配机器和时间槽，将timeslot和machine的nullable改为false，避免null值导致约束无法匹配冲突：

@PlanningVariable(nullable = false, valueRangeProviderRefs = "timeslotRange")
private Cycle timeslot;

@PlanningVariable(nullable = false, valueRangeProviderRefs = "machineRange")
private Machine machine;

4. 验证约束是否被正确加载

检查ConstraintProvider的实现类，确保machineProcessOneJobAtATime约束被包含在返回的约束数组中：

@Override
public Constraint[] defineConstraints(ConstraintFactory constraintFactory) {
    return new Constraint[] {
        machineProcessOneJobAtATime(constraintFactory),
        // 其他约束...
    };
}

5. 检查实体类的相等性判断

确保Cycle和Machine类正确重写了equals()和hashCode()方法，保证同一时间槽/机器的不同实例能被视为相等，否则Joiners.equal无法正确匹配冲突。

内容的提问来源于stack exchange，提问作者MattWolc24