private void add(Binding binding) { ((BindingMap) super.chunks).addAll(binding); // does not add null bindings but increment sub-solution counters to // manage signal notification listener this.nbSubSolutionsReceived += binding.size(); }
private void add(Binding binding) { ((BindingMap) super.chunks).addAll(binding); // does not add null bindings but increment sub-solution counters to // manage signal notification listener this.nbSubSolutionsReceived += binding.size(); }