UnMatch Listener for Compensation Actions

rule "serviceConflict"
    when
        $leftProcessAssignment : MrProcessAssignment($service : service, $machine : machine, $leftId : id)
        $rightProcessAssignment : MrProcessAssignment(service == $service, machine == $machine, id > $leftId)
    then
        scoreCalculator.addToHardScore(1); // No insertLogical or accumulate of those ConstraintOccurence's needed
    undo-then
        scoreCalculator.substractFromHardScore(1);
end

rule "serviceLocationSpread"
    when
        $service : MrService($locationSpread : locationSpread)
        $spreadCount : Number(intValue < $locationSpread) from accumulate(
                $location : MrLocation()
                and exists MrProcessAssignment(service == $service, location == $location),
            count($location)
        )
    then
        scoreCalculator.addToHardScore($locationSpread - $spreadCount.intValue());
    undo-then
        scoreCalculator.substractFromHardScore($locationSpread - $spreadCount.intValue());
        // $spreadCount should still be the same as it used to be
end