[eclipse-clp-users] code problem

Hi guys,

 

I am trying to solve a problem and I have written the constraints but I
observe a strange behavior.

I have some Boolean variables and I compute some periods like this: T / x
where x is the Boolean variable. I am doing this because I want to get the
minimum period for only those variables which are equal with 1. So in the
case when all are 0 I am expecting to get +1.0Inf as the minimum value.

When I print the constraints I get an interval instead of one value.

 

What can be the cause?

 

 

Best regards,

Bogdan.