[eclipse-clp-users] Labelling real variables

From: Matthew Skala <mskala_at_cs.toronto.edu>
Date: Sat, 6 Apr 2013 09:49:25 -0500 (CDT)
Does lib(ic) or its relatives provide any labelling routine capable of
instantiating real-number variables in a way that will stop bb_min from
producing the "search did not instantiate cost variable" error?  The
search/6, labeling/1, and indomain/{1,2} predicates only seem to work on
integers. I can narrow down the domains of real variables with
locate/{2,3,4}, but the only really simple way I've found to keep bb_min
happy is to do locate to my desired level of precision, then call
get_median/2 on my cost variable and set the cost equal to the median

I can write my own labelling routine capable of instantiating variables to
non-integer values, but I can't be the first person to want that, so my
question is whether it's already part of some library.
Matthew Skala
Postdoctoral Fellow, University of Manitoba
Received on Sat Apr 06 2013 - 15:06:10 CEST

This archive was generated by hypermail 2.2.0 : Mon Apr 08 2013 - 06:13:31 CEST