[gecode-users] (no subject)

[Sébastien Mouthuy]

Hello everybody,

I've got a technical question for you.

I want to create a class with a static function that could post
propagators on a SetVar. i.e. something like


class SB {


  static void constrainSetVar(Space *home, SetVar S){

	cardinality(home, S, 1,10);
	.....
  }

};

I tried this but it seems not to work.

any idea or help ? I would - of course :) - really appreciate any help.

bye bye,

sebastien