[gecode-users] (no subject)

[Christian Schulte]

Still, you need to be more detailled. What is clear, you need to follow a
structure where your variables are updated, check the examples that tell you
how to. So, whatever you do, you must inherit from a Space, maintain the
variables you want to use in that space and update your variables through
that space.

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 Sébastien Mouthuy
Sent: Wednesday, May 16, 2007 8:51 AM
To: Guido Tack
Cc: users at gecode.org
Subject: Re: [gecode-users] (no subject)







Le mercredi 16 mai 2007 à 07:57 +0200, Guido Tack a écrit :
> Hi.
> 
> Sébastien Mouthuy wrote:
> 
> > I want to create a class with a static function that could post 
> > propagators on a SetVar. i.e. something like [...]
> >
> > I tried this but it seems not to work.
> 
> What exactly do you mean by "does not work"? Does it crash, or do you
> simply not get the result you expect? 
I don't get the result I expected, like variables not updated, somethong
strange...

> What is the context, from where
> do you call "constrainSetVar"?

I want to write a generic CSP with some SetVar (this is easy). But I want an
external user to be able to post constraints on these SetVar (this is the
problem). Thus my generic CSP should be able to call a function (given by
template or parameter) that will post propagators on some SetVar.

I would also need a way to update SetVar when copying. I cannot simply
extends the class defining the generic CSP, because I have several generic
CSP that need to constraint SetVar in the same way (specified by the user).

Thanks in advance,

sebastien
> 
> Cheers,
> 	Guido
> 


_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users