[gecode-users] Number of propagators

[Christian Schulte]

No, actually not. However it would be easy enough to add (but only with
linear complexity in the number of propagators). Should I?

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 Gustavo Gutierrez
Sent: Monday, May 22, 2006 11:54 PM
To: users at gecode.org
Subject: [gecode-users] Number of propagators


Hi all,

Is there any way to know the number of propagators inside a space?

Thanks in advance,
-- 
Gustavo Gutierrez

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