maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Search question

From: Jittisak Senachak <sjittisa AT jaist.ac.jp>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] Search question
Date: Tue, 11 Jul 2006 11:18:54 +0900
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi all,

I wrote two specifications as below and, then, applied rewrite, frewrite
and search commands to a starting term "a". Two results from
rewrite/frewrite seem to be reasonable, but I don't understand the
result from search one.

fmod TEST is
sort Test1 .
op a : -> Test1 .
op b : -> Test1 .
op c : -> Test1 .
op d : -> Test1 .
endfm

mod TEST2 is
inc TEST .
rl a => b .
rl b => a .
endm

rew in TEST2 : a . *** INFINITY LOOP
frew in TEST2 : a . *** INFINITY LOOP
search in TEST2 : a =>+ a . *** No Solutions (2 rewrites applied)

Thanks in advance,

Jittisak Senachak

[Maude-help] Search question, Jittisak Senachak, 07/10/2006
- Re: [Maude-help] Search question, Steven Eker, 07/12/2006