maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Fresh name generation

From: Vladimir Klebanov <klebanov AT kit.edu>
To: Steven Eker <eker AT csl.sri.com>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Fresh name generation
Date: Wed, 2 Jun 2010 10:40:54 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

On Tue, Jun 1, 2010 at 9:13 PM, Steven Eker
<eker AT csl.sri.com>
wrote:
> Fresh names are not functional so are not available in the functional
> fragment
> of Maude. They are available via rule rewriting by using mod COUNTER which
> can
> be imported multiple times with renaming if multiple counters are needed.

Thanks. I got some helpful hints on and off the list. Too bad that
COUNTER does not work with search.

Vladimir

[Maude-help] Fresh name generation, Vladimir Klebanov, 06/01/2010
- Re: [Maude-help] Fresh name generation, Steven Eker, 06/01/2010
  - Re: [Maude-help] Fresh name generation, Vladimir Klebanov, 06/02/2010
    - Re: [Maude-help] Fresh name generation, Steven Eker, 06/02/2010