[eclipse-clp-users] search tree node count

From: Lars Kotthoff <larsko_at_...157...>
Date: Wed, 7 Jan 2009 11:08:22 +0000
Dear list,

 is there a general, preferably easy, way of getting the number of search tree
nodes explored when searching for the solution to a problem?

Thanks,

Lars
Received on Wed Jan 07 2009 - 11:08:30 CET

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST