Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

On Sunday 19 November 2006 10:26, 
rusu AT irisa.fr
 wrote:
>  - there is a simple way to limit the depth of the search command
>    (the argument in [] limits the number of solutions, not the depth?)

Not in the current release. Maude 2.3 (due early december) will allow an 
extra  
argument for this.

>  - whether the "object/message fair rewriting" also applies to the
>    search command, as it does to the rewrite command.

No - object-message fair rewriting doesn't make sense for the search command 
as it explores all paths breadth-first. If instead you are only executing a 
single path, then you might want some fairness guarantees on that path which 
is what frewrite does.

Steven