[gecode-users] Conditional constraints ?

[Mauricio Toro]

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/b5579aa0/attachment-0001.htm>