[gecode-users] Conditional constraints ?

[Wajid Hassan]

Thank you Mauricio. This seems to be it, I will try it and see if it works
for me.



On Mon, Feb 20, 2012 at 7:34 PM, Mauricio Toro <mauriciotorob at gmail.com>wrote:

> I believe that this could be what you are looking for "Synchronized
> execution"
> http://www.gecode.org/doc-latest/reference/group__TaskModelIntExec.html
>
> 2012/2/17 Wajid Hassan <wajidhassan at gmail.com>
>
>> Hi,
>>
>> I am a beginner user working on finding an optimal solution for a
>> binding, scheduling and routing problem. I have done the binding and
>> scheduling part, and now have some questions regarding the routing
>> dependencies, i.e., if they can be expressed in gecode or not. This might
>> be something trivial, but I haven't figured it out yet.
>>
>> I run the Gecode model and find the appropriate binding (decision of
>> which task should be assigned to which resource), this is stored in an
>> IntVarArray _binding.
>>
>> The routing part depends on the binding, i.e., it considers two tasks T1
>> and T2, and as per the application, lets say that the output of T1 needs to
>> go to the input of T2. To assign the data coming out of T1 to an
>> appropriate link on the network so that it reaches T2, we need to know the
>> resources to which T1 and T2 were bound. As I stated above, this
>> information is itself found out by the Gecode model and stored in an
>> IntVarArray _binding.
>>
>> Now, I cannot figure out a way to check the value of an IntVarArray
>> _binding and use it to constrain another IntVarArray. A naive approach is
>> the if else, which cannot be applied on a constraint variable since it has
>> not been assigned a value yet. Any suggestions would be highly appreciated.
>>
>> BR/ Wajid
>>
>> _______________________________________________
>> Gecode users mailing list
>> users at gecode.org
>> https://www.gecode.org/mailman/listinfo/gecode-users
>>
>>
>
>
> --
> Mauricio TORO BERMUDEZ
>
> http://www.labri.fr/perso/mtoro/
>
> Invited Junior Research Fellow
> Universidad Javeriana Cali, Colombia
> Grupo Avispa. Phone: (+57 2) 321 82 00 ext. 8422
>
> Research Postgraduate Student (Ph.D)
> Computer Science Research Laboratory of Bordeaux (LABRI)
> Université de Bordeaux 1
>
> 351, cours de la Libération
> F-33405 Talence Cedex. France.
> Phone: (+33) 5 4000 38 79
>
>
> Please do not print this e-mail unless you really need to.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20120220/d46b999f/attachment.htm>