Simplifies the objective (the *other* bug was also fixed with the PR)

This commit is contained in:
Maximilian Kratz 2023-11-15 15:26:44 +01:00
parent 05ebc3ef60
commit d2adefcce9

View file

@ -40,8 +40,6 @@ objective o -> mapping::move {
patterns.findVnodeMapping
->filter(m | m.nodes().s == self.nodes().s1)
->count()
// The following self.value() multiplication is a workaround
* self.value()
}
global objective : max {