A kind of status bar to see where the Search is in csp

[Luis Quesada]

Well, you could consider the following approximation: to associate the 
status of your search with the number of variables determined so far.
For this you got two options.
1. (naive) have a thread per variable that sends a message to a port 
when the variable has been determined:
thread {Wait X} {Send P incCountOfVarsDetermined)} end
The thread reading the messages will print the status when receiving the 
incCountOfVarsDetermined messages.
2. To keep a cell and update the contents of that cell at each 
distribution step with the number of variables that have been filtered 
out. For this you will need to write your own distributor. Have a look 
at 
http://www.mozart-oz.org/documentation/fdt/node40.html#chapter.user-defined

Luis

Torsten Anders wrote:
> The short answer is: this is not possible unfortunately.
> 
> To realise this you would need to know the shape of your search tree  
> and where the solutions are in this search tree. But if you already  
> know that, then there is no search required anyway -- you would just  
> directly go to that solution.
> 
> I'm no guru, though ;-)
> 
> Best,
> Torsten
> 
> On 08.06.2006, at 21:45, Tim Heath wrote:
> 
>> Hi Oz Gurus,
>>
>> I want to make a kind of status bar showing how the search is going  
>> for csp application.  Any ideas how to do that?  I know if I look at  
>> the explorer it shows the tree as it is being populated.  What I am  
>> not clear on is if there is a way to know if it is like 50% done or  
>> 75% done at any period of time programatically.
>>
>> Oz rocks!
>>
>> _______________________________________________________________________ 
>> __________
>> mozart-users mailing list                                
>> mozart-users at ps.uni-sb.de
>> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>>
>>
> -- 
> Torsten Anders
> Sonic Arts Research Centre • Queen's University Belfast
> Frankstr. 49 • D-50996 Köln
> Tel: +49-221-3980750
> www.torsten-anders.de
> strasheela.sourceforge.net
> 
>