maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Fresh name generation

From: Steven Eker <eker AT csl.sri.com>
To: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Fresh name generation
Date: Tue, 1 Jun 2010 12:13:50 -0700
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>
Organization: SRI International

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.

Steven

On Tuesday 01 June 2010 08:52:42 am Vladimir Klebanov wrote:
> Hello,
>
> I wonder if Maude has some kind of built-in fresh name generation
> facility? I know I could maintain a counter myself, but then it would
> have to commute deep down into the data structure where I need it,
> which is cumbersome. Is there a better way?
>
> Thanks, regards,
>
> Vladimir
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>

[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