It uses {@link IntValueSelector} to select the next valueto be removed from the domain of the variable.
The selector should select the values that can be effectively removed from the domain of the variable. For example, if the domain type is plain then selector should select only min or max values from the domain. GoalInstantiate can use both recursive and non-recursive search algorithms. Recursive implementation iterates the domain looking for a value that can be assigned to a variable by GoalSetValue. Non-recursive implementations invokes GoalSetValue ones and removes the given value if it fails. @see IntVar @see IntValueSelector
| |
| |