void Paver::combine(PrePaving &paving, const DirVar &,
const PrePaving &paving1, const PrePaving &paving2) {
// Paving type can only be POSSIBLE and contain only one box
if (paving1.type() == paving2.type() &&
paving1.type() >= 0)
paving.move_box_to(paving1.type());
else {
paving.clear_boxes();
if (!paving1.empty())
paving.insert(paving1);
if (!paving2.empty())
paving.insert(paving2);
}
}
void Paver::combine(PrePaving &paving, const DirVar &,
const PrePaving &paving1) {
paving.clear_boxes();
if (!paving1.empty())
paving.insert(paving1);
}