MidVal value selector

  • Tom

    Tom - 2009-03-12

    Does the MidVal value selector work on variables of type cp:bound?
    I think it causes the search to indefinitely try the same value (if the value causes failure). Am I correct?


    • Cambazard Hadrien


      Yes you are correct. You can't make "a hole" in the domain of a bound variable so if the choice fails and it was in the middle, you have learnt nothing and you will try again.
      You have to branch on the bounds of Bound variable or to proceed by dichotomy by posting constraints.
      We need to make sure this is clear in the documentation and give an example of branching by posting constraints.



Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks