Malcolm Ryan wrote: > Is it possible to find out how many variables are in a particular > space? Or how many active propagators?
Variables, no. Propagators, yes, using the propagators() method of a
Space. Inactive, i.e. subsumed propagators, are not copied, so
propagators() returns the number of active propagators.
Cheers,
Guido
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
