Re: [eclipse-clp-users] help with gcc_matrix

From: Kish Shen <kisshen_at_cisco.com>
Date: Tue, 16 Feb 2010 19:35:31 +0000
Moon, Geoff wrote:
> Hi again, and thanks Thorsten for your advice. I am now getting results
> from gcc_matrix that seem (to me!) to be incorrect.
> 
Hi Geoff,

I had some discussion with the contributor of the new global constraints
(Helmut Simonis), and he tells me that the existing gcc_matrix (and 
alldifferent_matrix) constraints only does the extra reasoning due to 
the matrix, but do not actually impose the individual gcc (alldifferent) 
constraints. So to use them correctly, you need to impose the 
gcc/alldifferent constraints yourself.

I guess the reason for this is that this allows the user the freedom to 
choose what version of gcc/alldifferent they want to impose (different 
consistency level, etc.), although of course right now we only have the 
domain consistent version of gcc.

I think I will change the constraint so that it will impose these 
individual constraints for you, and provide an 'extended' version of the 
constraint to allow the user to specify the specific gcc/alldifferent 
they want to use.

For now, if you want to use gcc_matrix, just post it along with the 
individual gcc constraints on all the rows and columns.

Cheers,

Kish

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Tue Feb 16 2010 - 19:35:42 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET