[gecode-users] Number of propagators

[Christian Schulte]

I just added two functions propagators() and branchings() to the trunk
version that return the desired information but only if the space is stable.

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