void (final Binding b1) { for (final Binding b2 : mySolutions) { switch (b1.compare(b2)) { case Binding.WORSE, Binding.SAME -> { return; } case Binding.BETTER -> { mySolutions.remove(b2); mySolutions.addFirst(b1); return; } case Binding.NONCOMPARABLE -> { } } } mySolutions.addFirst(b1); }