rui@omega.di.uminho.pt wrote: > > [eclipse 6]: [A,B]::1..10, A*B #= 10 r_conflict boo. > instantiation fault in *(_592{[1 .. 10]}, _578{[1 .. 10]}, _544) You need to assign some initial tentative values, e.g. [eclipse 12]: [A, B] :: 1..10, [A,B] tent_set [1,1], A * B#=10 r_conflict boo, conflict_constraints(boo,C). A = A{fd:[1..10], repair:1} B = B{fd:[1..10], repair:1} C = [A{fd:[1..10], repair:1} * B{fd:[1..10], repair:1}#=10] > That is, everything works fine if I use the obsolete annotations but I get an instantiation fault exception if I use the new annotations. > > Am I doing something wrong or is this a bug? We'll treat it as a bug... Best regards, -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipseReceived on Fri Jan 19 15:28:30 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:07 PM GMT GMT