[gecode-users] Posting "or" conditions

[Guido Tack]

If I understood you correctly, this should do the trick:

BoolVarArray rtrue(*this, m.height(), 0,1);
or (int i=0; i < m.height() ;  i++)  
      rel(*this, BOT_AND,  m.row(i), rtrue[i] );
rel(*this, BOT_OR, rtrue);

Cheers,
	Guido

Claudio Cesar de Sá wrote:

> Hi
> 
> I am kicking my head on "a simple question" on matrix constraints:
> 
>     for (int i=0; i < m.height() ;  i++)  
>       rel(*this, BOT_AND,  m.row(i),1 );
> 
> so the constraints posted  seems such:
> m.row(0) = true  AND m.row(1) = true AND m.row(3) = true .... AND m.row(n-1) = true
> 
> So, obviously,  as the result for the matrix m, in all lines MUST filled with one.... not desirable.
> 
> What I am want:  at least one (or more)  line of this matrix m should contain only 1's  in its line ...
> so should be post conditionally something like:
> 
> m.row(0) = true  OR m.row(1) = true OR m.row(3) = true .... OR m.row(n-1) = true
> 
> the  branch is over  the m.
> 
> I am thinking on an auxiliary array for each line ... and post it conditionally. I am not sure,
> or something like 
> 
> for (int i=0; i < m.height() ;  i++)  
>       rel(*this, BOT_OR ,  function_post_conditional( m.row(i), ....)     ,1 );
> 
> where the function_post_conditional( m.row(i), ....) ... will return only valids post for m.row(i) = true
> 
> How to control what should be  posted? 
> 
> Thanks in advance
> 
> 
> claudio
> 
> 
> 
> 
> -- 
> claudio 
> 
> 
> 
>    (
>    ))
>   |""|-.
>   |__|-'
>                 
>                 
> **********************************************************************
> Skype: claudio_cesar_sa
> Links:
> http://laic.u-clermont1.fr/
> http://www.colmeia.udesc.br/
> http://www2.joinville.udesc.br/~coca/
> http://www2.joinville.udesc.br/~esp7maratona/
> Blog: http://claudiocesar.wordpress.com/
> ***********************************************************************
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20100428/a60d03d4/attachment.htm>