Maude-help mailing list

[Paco Durán <duran AT lcc.uma.es>]

Use =>! instead of =>*. 

Best,

Francisco

> On 4 Dec 2019, at 21:08, 
> <hcantunc AT gmail.com>
>  
> <hcantunc AT gmail.com>
>  wrote:
> 
> Hello,
> 
> I have some search statement as the following:
> 
> search [, 100000] <some very long expression> =>* A::SomeSort such that
> A::SomeSort =/= cnd .
> 
> The specification is not Church-Rosser and terminating, therefore there's no
> unique normal form.
> When I execute the above statement, I get a lot of intermediate solutions
> since the condition '=/= cnd' is not very selective. But what I'm actually
> interested in extracting is the terms which cannot be reduced further and 
> the
> leaf nodes in the search tree at the given maximum depth. I am wondering if
> there's a way to achieve this.
> 
> Thank you.

Attachment: smime.p7s
Description: S/MIME cryptographic signature