[gecode-users] Posting integer propagators
Christian Schulte
schulte at imit.kth.se
Thu May 4 16:46:38 CEST 2006
Hi,
you should find declarations of all post function in int.hh (and set.hh for
set constraints). This list is complete as no other post functions are
exported under Windows, so this information is always acurate!
Your second question: oh my good, doxygen did it again ;-) Yes that is
definitely wrong! Obviously, Doxygen is confused by namespaces (I have to
admit it is not easy...). All this "post" can be found in minimodel.hh (or
explained in the minimodel docs).
Cheers
Christian
--
Christian Schulte, http://www.imit.kth.se/~schulte/
-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of jeremie.vautard
Sent: Thursday, May 04, 2006 4:33 PM
To: users
Subject: [gecode-users] Posting integer propagators
Hi !
I would like to create an interface in order to post the same constraint in
several different spaces. I would have, for each static posting function
(post, distinct, etc...) a kind of "super post" function, taking a list of
spaces/variables and posting, for each space passed in argument, the actual
constraint.
The problem is that I didn't manage to find an exhaustive list of all the
static functions to post propagators. (I already know some of them, like
distinct or post for linear relations) Is there such a list somewhere ?
Another thing : concerning the post function ised in the money.cc example,
the link of the source code page sends me to the definition of the
void Gecode::Int::Linear::post (Space *home, Term t[], int n,
IntRelType r, int c, IntConLevel=ICL_DEF)
function, but, the argument doesn't correspond. Is it actually this function
which is called (in this case, I don't understand the argument passing...) ?
In the other case, where is the actual post function used in this exemple
defined ?
Cheers,
Jérémie Vautard
Accédez au courrier électronique de La Poste : www.laposte.net ;
3615 LAPOSTENET (0,34 €/mn) ; tél : 08 92 68 13 50 (0,34€/mn)
_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
More information about the gecode-users
mailing list