In case of MacPropagation, with this probability (1.0 means
always), the selection is made only among good values (not removed from the
Following weights are used in the weighted sum (computed for all values). The
value with the lowest weighted sum is selected. If there are more than one of
such values, one of them is selected randomly.
MPP: Difference in the number of assigned initial values if the value is
assigned to the variable (weighted by this
Value.WeightDeltaInitialAssignments): -1 if the value is initial, 0
otherwise, increased by the number of initial values assigned to variables
with hard conflicts with the value
This library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as
published by the Free Software Foundation; either version 3 of the
License, or (at your option) any later version.
This library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not see http://www.gnu.org/licenses.