From: <ms...@an...> - 2021-04-17 21:35:02
|
On Sat, 17 Apr 2021, Amine Marref wrote: > My understanding from this page is that search/6 also works for real values; > why is search/6 complaining about integer bounds? I don't think search/6 works for real values. The page you linked to says "It can currently be used with either the finite domains (if loaded via lib(fd_search)), integer IC finite domains, and GFD integer finite domains (if loaded via lib(gfd_search))." Reals aren't on that list, and since search/6 depends on indomain/2 - which only works on finite domain variables - it's reasonable to guess it wouldn't work on reals. Maybe at the absolute outside you could implement your own replacement for indomain/2 and use that as argument 4 of search/6 to do a search on real-valued variables. But you may also get better results with locate/4 and friends, which are meant to work with reals. -- Matthew Skala ms...@an... People before tribes. https://ansuz.sooke.bc.ca/ |