[gecode-users] Propagating constraints

Mikael Zayenz Lagerkvist zayenz at gmail.com
Mon Dec 1 08:17:42 CET 2008


Yes, use Space.status(). See
http://www.gecode.org/gecode-doc-latest/group__TaskSearch.html#g2ff3a26e78da2825ff5dc4ffb1056cb7

Cheers,
Mikael

On Mon, Dec 1, 2008 at 8:11 AM, Malcolm Ryan <malcolmr at cse.unsw.edu.au> wrote:
> How do I force the propagation of constraints on a Space?
> Is there a C++ equivalent to the Gecode/J Space.status()?
>
> Malcolm
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
>



-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/




More information about the gecode-users mailing list