maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: rusu AT irisa.fr
- To: maude-help AT maude.cs.uiuc.edu
- Subject: [Maude-help] beginner's question
- Date: Sun, 19 Nov 2006 19:26:46 +0100 (CET)
- Importance: Normal
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Hi,
I'm a beginner with Maude and would like to know if
- there is a simple way to limit the depth of the search command
(the argument in [] limits the number of solutions, not the depth?)
- whether the "object/message fair rewriting" also applies to the
search command, as it does to the rewrite command.
Many thanks for your help!
Vlad Rusu
- [Maude-help] beginner's question, rusu, 11/19/2006
- Re: [Maude-help] beginner's question, Steven Eker, 11/20/2006
Archive powered by MHonArc 2.6.16.