Re: [eclipse-clp-users] multi-loop and if then statement

Dear Mr. Winterer,

Thank you for your help. THe problem lies in that line. I changed the line to Fi$=Levels[J] => Z, to test how constraint implications worka. However, I get No. 

If I change the line to Fi==Levels[J] -> Vi is Voltage[J]; true  , I  can get all the solutions of Fs, but Vs is not instantiated in all the solutinos. The condition never succeeds!! It seems contradictory to build the constraints before labeling and let them take effect after labeling.

Besides, I don't understand why constraint implication (=>) will take effect after labeling. Is it the reasoning to choose it insteand of if else ?

Thank you very much.

Best,

Liu,Yu


2009-09-08 



liu.yu.senior.china 



发件人： Thorsten Winterer 
发送时间： 2009-09-08  07:39:39 
收件人： liu.yu.senior.china 
抄送： eclipse-clp-users 
主题： Re: multi-loop and if then statement 
 
I don't think that this line:
> Fi$=Levels[J] -> Vi is Voltage[J]; true
does what you intended it to do. The condition "Fi$=Levels[J]" will
evaluate to true if posting the constraint is successful. If it is, then
Vi is set to Voltage[J], and there will be no choicepoint.
I assume that you meant "if the constraint holds (after labeling Fi),
then Vi should be set to Voltage[J]". For this, you need to use =>/2,
and not Condition -> Then ; Else.
Regards,
Thorsten