[eclipse-users] reified constraints

From: Malcolm Ryan <malcolmr_at_...25...>
Date: Tue, 18 Sep 2007 13:34:29 +1000
I'm working on a constraint problem using reified constraints, but  
I'm finding that the do not propagate very well. Eg:

[eclipse 19]: V :: [1,2,4,5], B #= (V #= 3).

V = V{[1, 2, 4, 5]}
B = B{[0, 1]}


Delayed goals:
         #=(V{[1, 2, 4, 5]}, 3, B{[0, 1]})
Yes (0.00s cpu)

Apparently the reified constraint only checks the range of V and  
ignores holes. Is there a way to make the holes propagate?

Malcolm

--
       "An inconvenience is only an adventure wrongly considered;
        an adventure is an inconvenience rightly considered."
                 - G.K.Chesterton, On Running After Ones Hat
Received on Tue Sep 18 2007 - 04:34:47 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST