maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Vladimir Klebanov <klebanov AT kit.edu>
- To: maude-help AT cs.uiuc.edu
- Subject: [Maude-help] Fresh name generation
- Date: Tue, 1 Jun 2010 17:52:42 +0200
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
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] 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
- Re: [Maude-help] Fresh name generation, Vladimir Klebanov, 06/02/2010
- Re: [Maude-help] Fresh name generation, Steven Eker, 06/01/2010
Archive powered by MHonArc 2.6.16.